Consistency of the theory of contexts
From MaRDI portal
Publication:5472313
DOI10.1017/S0956796806005892zbMath1092.68022MaRDI QIDQ5472313
Furio Honsell, Ivan Scagnetto, Marino Miculan, Anna Bucalo, Martin Hoffman
Publication date: 9 June 2006
Published in: Journal of Functional Programming (Search for Journal in Brave)
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (10)
Fresh logic: Proof-theory and semantics for FM and nominal techniques ⋮ About permutation algebras, (pre)sheaves and named sets ⋮ Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts ⋮ Mechanizing type environments in weak HOAS ⋮ Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax ⋮ \(\mathrm{HO}\pi\) in Coq ⋮ Proof-relevant π-calculus: a constructive account of concurrency and causality ⋮ A Simple Nominal Type Theory ⋮ A semantics for nabla ⋮ Developing (Meta)Theory of λ-calculus in the Theory of Contexts1 1Work partially supported by Italian MURST project tosca and EC-WG types.
This page was built for publication: Consistency of the theory of contexts
