Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by David Scott Warren
Using Λ-Calculus to Represent Meanings in Logic Grammars
Related publications
Simply Typed Λ-Calculus
Extending Pruning Techniques to Polymorphic Second Order Λ-Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formalising the Π-Calculus Using Nominal Logic
Minimalist Grammars in the Light of Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Logic Grammars for Diagnosis and Repair
International Journal on Artificial Intelligence Tools
Artificial Intelligence
Relating Logic Programs and Attribute Grammars
Decision Support Systems
Developmental
Arts
Information Systems
Educational Psychology
Humanities
Management
Management Information Systems
Cut-Eliminability in Second Order Logic Calculus
Annals of the Japan Association for Philosophy of Science
Fully Abstract Encodings of Λ-Calculus in HOcore Through Abstract Machines
A Probabilistic Logic Programming Event Calculus
Theory and Practice of Logic Programming
Hardware
Architecture
Mathematics
Computational Theory
Theoretical Computer Science
Artificial Intelligence
Software
