Results 31 to 40 of about 7,042,113 (292)
The RedPRL Proof Assistant (Invited Paper) [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 RedPRL is an experimental proof assistant based on Cartesian cubical computational type theory, a new type theory for higher-dimensional constructions inspired by homotopy type theory.
Carlo Angiuli +4 more
doaj +1 more source
Journal of Industrial Design and Engineering Graphics, 2019 The main goal of this paper is to highlight the vulnerability during the life time of kula buildings from Oltenia and Muntenia Regions from Romania. This research highlights the characteristic features of massive kula type buildings by masonry built ...
Anca Mihaela Barbu +4 more
doaj +2 more sources
A dependently-typed construction of semi-simplicial types [PDF]
Mathematical Structures in Computer Science, 2014 This paper presents a dependently-typed construction of semi-simplicial sets in a type theory where sets are taken to be types. This addresses an open question raised on the wiki of the special year on Univalent Foundations at the Institute of Advanced Study (2012–2013).
openaire +3 more sources
Formalisation in Constructive Type Theory of Barendregt's Variable Convention for Generic Structures with Binders [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 We introduce a universe of regular datatypes with variable binding information, for which we define generic formation and elimination (i.e. induction /recursion) operators.
Ernesto Copello +2 more
doaj +1 more source
Teaching and learning musical instruments through ICT: the impact of the COVID-19 pandemic lockdown
Heliyon, 2022 The COVID-19 lockdown in education institutions required music teachers to use ICT to continue teaching. This research study, with the use of a Likert type online questionnaire, analyses the ICT activities carried out during this period and the learning ...
Juan Ignacio Pozo +7 more
doaj +1 more source
The Topology-Free Construction of the Universal Type Structure for Conditional Probability Systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 We construct the universal type structure for conditional probability systems without any topological assumption, namely a type structure that is terminal, belief-complete, and non-redundant.
Pierfrancesco Guarino
doaj +1 more source
Constructive biblical hermeneutics: history and its afterlife [PDF]
, 2020 Constructive theologians wrestle with the Bible’s authority in the life of faith and in their own work. While holding onto a central role for the Bible as a source for theology, they embrace the complexities of biblical interpretation, particularly ...
Shelly Rambo, Rambo, Shelly
core +2 more sources
LSTA five-year evaluation, future areas of focus [PDF]
, 2022 prepared by: Stephanie Chase and Judah Hamer, Constructive Disruption.Title from PDF cover (viewed on June 16, 2022).This archived document is maintained by the Oregon State Library as part of the Oregon Documents Depository Program.
core
A Normalizing Intuitionistic Set Theory with Inaccessible Sets [PDF]
Logical Methods in Computer Science, 2007 We propose a set theory strong enough to interpret powerful type theories underlying proof assistants such as LEGO and also possibly Coq, which at the same time enables program extraction from its constructive proofs.
Wojciech Moczydlowski
doaj +1 more source
Mathematics, 2021 We study a boundary value problem for nonlinear partial differential equations of the hyperbolic type on the plain in a domain with a complex boundary.
Vasyl Marynets +2 more
doaj +1 more source