Miranda: a non-strict functional language with polymorphic types
Proc. of a conference on Functional programming languages and computer architecture
Theoretical Computer Science
A note on inconsistencies caused by fixpoints in a Cartesian closed category
Theoretical Computer Science
Semantics of programming languages: structures and techniques
Semantics of programming languages: structures and techniques
The formal semantics of programming languages: an introduction
The formal semantics of programming languages: an introduction
Categorical combinators, sequential algorithms, and functional programming (2nd ed.)
Categorical combinators, sequential algorithms, and functional programming (2nd ed.)
Kripke logical relations and PCF
Information and Computation
Correspondence between operational and denotational semantics: the full abstraction problem for PCF
Handbook of logic in computer science (vol. 4)
Bisimilarity as a theory of functional programming
Theoretical Computer Science - Special issue on mathematical foundations of programming semantics
Hereditarily Sequential Functionals
LFCS '94 Proceedings of the Third International Symposium on Logical Foundations of Computer Science
TACS '94 Proceedings of the International Conference on Theoretical Aspects of Computer Software
Games and Full Abstraction for the Lazy Lambda-Calculus
LICS '95 Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science
ACM Transactions on Computational Logic (TOCL)
Axiomatizing Fully Complete Models for ML Polymorphic Types
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Call-by-Push-Value: A Subsuming Paradigm
TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
A Fully Complete PER Model for ML Polymorphic Types
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
A relational account of call-by-value sequentiality
Information and Computation - Special issue: LICS'97
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
A survey of semantic description frameworks for programming languages
ACM SIGPLAN Notices
Sequentiality and the π-calculus
TLCA'01 Proceedings of the 5th international conference on Typed lambda calculi and applications
CSL'10/EACSL'10 Proceedings of the 24th international conference/19th annual conference on Computer science logic
| Hi-index | 0.00 |
We present a new category of games, G, and build from it a cartesian closed category I and its extensional quotient E. E represents an improvement over existing categories of games in that it has sums as well as products, function spaces and recursive types. A model of the language FPC, a sequential functional language with just this type structure, in E is described and shown to be fully abstract.