MLTT)." /> Proof theory and Martin-Löf type theory - Setzer Anton | sdvig press

x

Journals

Acta Structuralica Metodo Phenomenological Reviews

Series

Figures of Structuralism Teoria: 20th Century Polish Thought Technophilosophy

Digital Resources

Open Commons of Phenomenology Structuralica Philosophy and WWI Roman Jakobson Trust Scuola di Milano

About us

Mission Statement Contact

Proof theory and Martin-Löf type theory

Anton Setzer

pp. 257-279

Text

This document is unfortunately not available for download at the moment.

Not implemented yet !