Results 71 to 80 of about 205,593 (312)
A verified abstract machine for functional coroutines [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Functional coroutines are a restricted form of control mechanism, where each coroutine is represented with both a continuation and an environment. This restriction was originally obtained by considering a constructive version of Parigot's classical ...
Tristan Crolard
doaj +1 more source
NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle [PDF]
, 2015 We present a new software tool for teaching logic based on natural deduction. Its proof system is formalized in the proof assistant Isabelle such that its definition is very precise. Soundness of the formalization has been proved in Isabelle. The tool is
Jensen, Alexander Birch +2 more
core +1 more source
Completing herbelin's programme [PDF]
, 2007 In 1994 Herbelin started and partially achieved the programme of showing that, for intuitionistic implicational logic, there is a Curry-Howard interpretation of sequent calculus into a variant of the $\lambda$-calculus, specifically a variant which ...
Espírito Santo, José
core +1 more source
Advanced Functional Materials, EarlyView.A previously unreported coordination motif stabilising single Fe atoms by indigo chelation and pyridyl coordination on Au(111) has been revealed. By using planar tritopic pyridyl linkers (TPyB), extended 2D porous networks of indigo3(TPyB)2Fe6 form. These networks can be crystalline or vitreous and offer an environment where individual coordination ...
Hongxiang Xu +9 more
wiley +1 more source
Light Logics and the Call-by-Value Lambda Calculus [PDF]
Logical Methods in Computer Science, 2008 The so-called light logics have been introduced as logical systems enjoying quite remarkable normalization properties. Designing a type assignment system for pure lambda calculus from these logics, however, is problematic.
Paolo Coppola +2 more
doaj +1 more source
Axiomatic quasi-natural deduction.
Notre Dame Journal of Formal Logic, 1970 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
, 2013 This document contains corrections to errors discovered to-date in, and also some remarks upon, both Samin Ishtiaq's thesis, A Relevant Analysis of Natural Deduction [Ish99] and also the JLC [IP98] and CSL [IP99] papers, by Ishtiaq and Pym, that ...
Ishtiaq, S., Pym, David
core
Direct Evidence of Topological Dirac Fermions in a Low Carrier Density Correlated 5d Oxide
Advanced Functional Materials, EarlyView.The 5d oxide BiRe2O6 is discovered as a low‐carrier‐density topological semimetal hosting symmetry‐protected Dirac fermions stabilized by nonsymmorphic symmetries. Angle‐resolved photoemission spectroscopy, quantum oscillations, and magnetotransport measurements reveal gapless Dirac cones, quasi‐2D Fermi surfaces, high carrier mobility, and a field ...
Premakumar Yanda +11 more
wiley +1 more source
Natural Law And Civil Law in John Locke
Aufklärung, 2015 This paper deals with the relationship between natural law and civil law in John Locke’s philosophy. Although renowned scholars have claimed that such a relationship is deductive, this paper will try to show a different interpretation and argue that the ...
Gustavo Hessmann Dalaqua
doaj +1 more source
Inactivating SARS‐CoV‐2 Virus with MOF‐Composites as Smart Face Masks
Advanced Functional Materials, EarlyView.In situ preparation and functionalization of MOF@Cotton fabrics as smart face masks for the immobilization of proteins and inactivation viruses, such as SARS‐CoV‐2. Abstract The significant impact of the SARS‐CoV‐2 (COVID‐19) pandemic outbreak on people's lives has highlighted the urgent need for effective personal protective equipment.
Romy Ettlinger +9 more
wiley +1 more source