Period of time: 2013年1-2期
Publisher: Springer Publishing Company
Founded in: 1993
Total resources: 57
ISSN: 0927-2852
Subject: O Mathematical Sciences and Chemical
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Applied Categorical Structures,volume 7,issue 1-2
Menu
Density Theorems for the Domains-with-Totality Semantics of Dependent Types
Applied Categorical Structures,volume 7,issue 1-2 , Vol. 7, Iss. 1-2, 1999-06 , pp.Z-Continuous Posets and Their Topological Manifestation
Applied Categorical Structures,volume 7,issue 1-2 , Vol. 7, Iss. 1-2, 1999-06 , pp.Approximation of Metric Spaces by Partial Metric Spaces
Applied Categorical Structures,volume 7,issue 1-2 , Vol. 7, Iss. 1-2, 1999-06 , pp.On the Approximation of Denotational Mu-Semantics
Applied Categorical Structures,volume 7,issue 1-2 , Vol. 7, Iss. 1-2, 1999-06 , pp.Factorisation Systems on Domains
Applied Categorical Structures,volume 7,issue 1-2 , Vol. 7, Iss. 1-2, 1999-06 , pp.A Convenient Category for Games and Interaction
Applied Categorical Structures,volume 7,issue 1-2 , Vol. 7, Iss. 1-2, 1999-06 , pp.An Algebraic View on Recursive Types
Applied Categorical Structures,volume 7,issue 1-2 , Vol. 7, Iss. 1-2, 1999-06 , pp.Extensional Σ-Spaces in Type Theory
Applied Categorical Structures,volume 7,issue 1-2 , Vol. 7, Iss. 1-2, 1999-06 , pp.Inductive Construction of Repletion
Applied Categorical Structures,volume 7,issue 1-2 , Vol. 7, Iss. 1-2, 1999-06 , pp.