From constructivism to computer science
proof interpretation of intuitionistic logic
scientific article; zbMATH DE number 1238417
scientific article