A Notion of Classical Pure Type System (1997)

Cached

Download Links

by Gilles Barthe , John Hatcliff , Morten Heine Srensen
Venue:Proc. of 13th Ann. Conf. on Math. Found. of Programming Semantics, MFPS'97
Citations:7 - 5 self

Active Bibliography

Niels Jakob Rehof Morten Heine Srensen – Diku Department Of, Niels Jakob Rehof, Morten Heine Srensen - 1994
1 On the Conservativity of Leibniz Equality – M. P. A. Sellink - 1996
4 Weak Normalization Implies Strong Normalization in Generalized Non-Dependent Pure Type Systems – Gilles Barthe, John Hatcliff, Morten Heine Sørensen - 1997
23 A Relevant Analysis of Natural Deduction – Samin Ishtiaq, Samin Ishtiaq - 1999
Structural Properties of Proofs in Mathematical Theories. – Jan Ekman
3 Safety Criteria for Hoorn-Kersenboogerd Railway Station – Wan Fokkink - 1995
14 Verification of Interlockings: from Control Tables to Ladder Logic Diagrams – Wan Fokkink, Paul Hollingshead - 1998
4 Non-Strictly Positive Fixed-Points for Classical Natural Deduction, accepted for publication in APAL – Ralph Matthes - 2004
7 Safety criteria for the vital processor interlocking at HoornKersenboogerd – Wan Fokkink - 1996
6 Verifying Properties of Module Construction in Type Theory – Bernhard Reus, Thomas Streicher - 1993
Abstract – unknown authors
DOI 10.1007/s10701-012-9654-8 Coreflections in Algebraic Quantum Logic – Bart Jacobs Jorik M
12 Collapsing Partial Combinatory Algebras – Inge Bethke, Jan Willem Klop - 1996
3 Synthetic Domain Theory in Type Theory: Another Logic of Computable Functions – Bernhard Reus - 1996
unknown title – unknown authors - 2011
Under consideration for publication in J. Functional Programming 1 Pure Type System conversion is always typable – Vincent Siles, Hugo Herbelin - 2011