Constructive Data Refinement in Typed Lambda Calculus (2000)
Cached
Download Links
- [www.dcs.ed.ac.uk]
- [www.dcs.ed.ac.uk]
- [www.dcs.ed.ac.uk]
- [homepages.inf.ed.ac.uk]
- DBLP
Other Repositories/Bibliography
by
Furio Honsell
,
John Longley
,
Donald Sannella
,
Andrzej Tarlecki
| Citations: | 12 - 7 self |
Document Versions
| Constructive Data Refinement in Typed Lambda Calculus –Furio Honsell, John Longley, Donald Sannella, Andrzej Tarlecki — 2000 |
| Constructive Data Refinement in Typed Lambda Calculus –Furio Honsell, John Longley, Donald Sannella, Andrzej Tarlecki — 2000 |
| Constructive data refinement in typed lambda calculus –Furio Honsell, John Longley, Donald Sannella, Andrzej Tarlecki — 2000 — Proc. 3rd Intl. Conf. on Foundations of Software Science and Computation Structures (FOSSACS 2000), European Joint Conferences on Theory and Practice of Software |
