Repository | Directory | Profile
Jan M. Smith
(1980-1989)
XOn a nonconstructive type theory and program derivation
1987
in: Mathematical logic and its applications, Dordrecht : Springer
Central and East European
Society for Phenomenology
Central and East European
Society for Phenomenology
Repository | Directory | Profile
(1980-1989)
XOn a nonconstructive type theory and program derivation
1987
in: Mathematical logic and its applications, Dordrecht : Springer