Constructive domain theory as a branch of intuitionistic pointfree topology
- 1 June 1996
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 159 (2) , 319-341
- https://doi.org/10.1016/0304-3975(95)00169-7
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- Lambda Calculus kHV its HovelsPublished by Elsevier ,1984