Conference | Speakers | Profile
![129106](/images/creator/_default.jpg)
Jan M. Smith
On a nonconstructive type theory and program derivation
1987
in: Mathematical logic and its applications, Dordrecht : Springer
![Open Access Link](/images/OAlink.png)
Conference | Speakers | Profile
On a nonconstructive type theory and program derivation
1987
in: Mathematical logic and its applications, Dordrecht : Springer