From Hilbert space to Dilbert space: context semantics as a language for games and flow analysis
Abstract
References
Index Terms
- From Hilbert space to Dilbert space: context semantics as a language for games and flow analysis
Recommendations
From Hilbert space to Dilbert space: context semantics as a language for games and flow analysis
ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programmingWe give a tutorial and first-principles description of the context semantics of Gonthier, Abadi, and Lévy [5, 4], a computer-science analogue of Girard's geometry of interaction [3]. In the spirit of the invited presentation of Tom Knight (see this ...
From Hilbert Spaces to Dilbert Spaces: Context Semantics Made Simple
FST TCS '02: Proceedings of the 22nd Conference Kanpur on Foundations of Software Technology and Theoretical Computer ScienceWe give a first-principles description of the context semantics of Gonthier, Abadi, and L vy, a computer-science analogue of Girard's geometry of interaction. We explain how this denotational semantics models -calculus, and more generally multiplicative-...
The space efficiency of OSHL
TABLEAUX'05: Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related MethodsOrdered semantic hyper-linking (OSHL) is a first-order theorem prover that tries to take advantage of the speed of propositional theorem proving techniques. It instantiates first-order clauses to ground clauses, and applies propositional techniques to ...
Comments
Information & Contributors
Information
Published In
![cover image ACM SIGPLAN Notices](/cms/asset/2c52c467-cb9b-4f9e-b5c3-b5eeccf9063f/3393934.cover.jpg)
- August 2003310 pages
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations2Total Citations
- 354Total Downloads
- Downloads (Last 12 months)3
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in