The theory and practice of first-class prompts
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
Type-logical semantics
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Lambda-My-Calculus: An Algorithmic Interpretation of Classical Natural Deduction
LPAR '92 Proceedings of the International Conference on Logic Programming and Automated Reasoning
On the Computational Interpretation of Negation
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
Proceedings of ACM conference on Proving assertions about programs
Continuation semantics for symmetric categorial grammar
WoLLIC'07 Proceedings of the 14th international conference on Logic, language, information and computation
Symmetries in natural language syntax and semantics: the Lambek-Grishin calculus
WoLLIC'07 Proceedings of the 14th international conference on Logic, language, information and computation
Covert movement in logical grammar
Logic and grammar
Covert movement in logical grammar
Logic and grammar
Hi-index | 0.00 |