On the notion of bimodel for functional semantics

Borceux, Francis;Vitale, Enrico
(1994) Applied Categorical Structures : a journal devoted to applications of categorical methods in algebra, analysis, order, topology and computer science — Vol. 2, p. 283-295 (1994)

Files

No attached file found for this publication.

Details

Authors
Affiliations

Citations

Borceux, F., & Vitale, E. (1994). On the notion of bimodel for functional semantics. Applied Categorical Structures : a journal devoted to applications of categorical methods in algebra, analysis, order, topology and computer science, 2, 283-295. https://hdl.handle.net/2078.5/151984 (Original work published 1994)