Støvring, Kristian
-
BRICS Report Series No. 35 (2005): RS-35 Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative - Articles
Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative
Abstract PDF -
BRICS Report Series No. 5 (2006): RS-5 Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative - Articles
Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative
Abstract PDF -
BRICS Report Series No. 12 (2006): RS-12 Higher-Order Beta Matching with Solutions in Long Beta-Eta Normal Form - Articles
Higher-Order Beta Matching with Solutions in Long Beta-Eta Normal Form
Abstract PDF -
BRICS Report Series No. 4 (2007): RS-4 A Complete, Co-Inductive Syntactic Theory of Sequential Control and State - Articles
A Complete, Co-Inductive Syntactic Theory of Sequential Control and State
Abstract PDF -
BRICS Report Series No. 12 (2005): RS-12 Program Extraction from Proofs of Weak Head Normalization - Articles
Program Extraction from Proofs of Weak Head Normalization
Abstract PDF