
Jan M. Smith
articles X
2 Publications
On a nonconstructive type theory and program derivation
1987
in: Mathematical logic and its applications, Berlin,
2 Publications
2 Publications
in: Mathematical logic and its applications, Berlin,
2 Publications