Two models of synthetic domain theory
From MaRDI portal
Publication:678839
DOI10.1016/S0022-4049(96)00164-8zbMath0879.18007MaRDI QIDQ678839
Giuseppe Rosolini, Marcelo P. Fiore
Publication date: 11 January 1998
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Related Items
Domains in \(H\), Computer theorem proving in mathematics, Left and right adjoint operations on spaces and data types, Axioms and (counter)examples in synthetic domain theory
Cites Work