Open Access
VOL. 2 | 1998 Constructivization via Approximations and Examples
Chapter Author(s) 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

Sorry, your browser doesn't support embedded PDFs, Download First Page

Vol. 2 • 1 January 1998
Back to Top