Constructivization via Approximations and Examples

Open Access

VOL. 2 | 1998 Constructivization via Approximations and Examples

Stefano Baratella, Stefano Berardi

Editor(s) Mariangiola Dezani-Ciancaglini, Mitsuhiro Okada, Masako Takahashi

MSJ Memoirs, 1998: 177-205 (1998) DOI: 10.2969/msjmemoirs/00201C050

First Page PDF

CHAPTER
29 PAGES

DOWNLOAD PDF + SAVE TO MY LIBRARY

< Previous Chapter

|

Next Chapter >

Theories of Types and Proofs

Vol. 2 • 1 January 1998

Mathematical Society of Japan