Wesley Phoa
4 published titles
A proposed categorical semantics for Pure ML
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
From term models to domains
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
Building domains from graph models
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
An introduction to fibrations, topos theory, the effective topos and modest sets
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
