Publication
Detail
Publication date: 01/01/2003Least fixed points in applicative theories
| Journal | Bulletin of Symbolic Logic |
|---|---|
| Publisher | Universitat Politècnica de Catalunya |
| Volume | 9 |
| Number | 1 |
| Journal | Bulletin of Symbolic Logic |
| Publisher | Universitat Politècnica de Catalunya |
| Volume | 9 |
| Number | 1 |