Abstract
Official bibtex entry by springer see below
Cite
CITATION STYLE
APA
Setzer, A. (2008). Proof theory and Martin-Löf Type Theory. In One Hundred Years of Intuitionism (1907–2007) (pp. 257–279). Birkhäuser Basel. https://doi.org/10.1007/978-3-7643-8653-5_16
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free