𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Ambient Calculus and its Logic in the Calculus of Inductive Constructions

✍ Scribed by Ivan Scagnetto; Marino Miculan

Book ID
108498285
Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
240 KB
Volume
70
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Interpreting HOL in the calculus of cons
Interpreting HOL in the calculus of constructions
✍ Jonathan P. Seldin πŸ“‚ Article πŸ“… 2004 πŸ› Elsevier Science 🌐 English βš– 232 KB

The purpose of this paper is to consider a representation of the HOL theorem-prover in the calculus of constructions with the property that consistency results from the calculus of constructions imply such results in HOL. This kind of representation is impossible using the propositions-as-types repr

Topological Constructions in the o–Graph
Topological Constructions in the o–Graph Calculus
✍ Fabian J. Theis πŸ“‚ Article πŸ“… 2002 πŸ› John Wiley and Sons 🌐 English βš– 303 KB

Benedetti and Petronio developed in [1] a so called o-Graph Calculus, where a compact oriented 3-manifold with nonempty boundary could be described by a quadrivalent graph together with some extra structure. In this paper, we will show how topological constructions such as puncturing, connected sums