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