A Notion of Classical Pure Type System (1997)

View PDF

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:10 - 6 self

Active Bibliography

Niels Jakob Rehof Morten Heine Srensen – Diku Department Of, Niels Jakob Rehof, Morten Heine Sørensen - 1994
24 A Relevant Analysis of Natural Deduction – Samin Ishtiaq, Samin Ishtiaq - 1999
14 Verification of Interlockings: from Control Tables to Ladder Logic Diagrams – Wan Fokkink, Paul Hollingshead - 1998
15 Collapsing Partial Combinatory Algebras – Inge Bethke, Jan Willem Klop - 1996
8 Safety criteria for the vital processor interlocking at HoornKersenboogerd – Wan Fokkink - 1996
4 Weak Normalization Implies Strong Normalization in Generalized Non-Dependent Pure Type Systems – Gilles Barthe, John Hatcliff, Morten Heine Sørensen - 1997
6 Verifying Properties of Module Construction in Type Theory – Bernhard Reus, Thomas Streicher - 1993
4 Non-Strictly Positive Fixed-Points for Classical Natural Deduction, accepted for publication in APAL – Ralph Matthes - 2004
1 On the Conservativity of Leibniz Equality – M. P. A. Sellink - 1996