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