Per Martin-Lof profile picture

Per Martin-Lof

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Intuitionistic Type Theory: Notes by Giovanni Sambin of a Series of Lectures Given in Padua, June 1980 (Studies in Proof Theory)
Colog-88 International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings
COLOG-88: International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings
Colog-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings (Lecture Notes in Computer Science)