Using Λ-Calculus to Represent Meanings in Logic Grammars

doi 10.3115/981311.981321

Full Text

Abstract

Available in

Date

Authors

Publisher

Association for Computational Linguistics

Related search

Simply Typed Λ-Calculus

1993Latin

Formalising the Π-Calculus Using Nominal Logic

English

Extending Pruning Techniques to Polymorphic Second Order Λ-Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

Minimalist Grammars in the Light of Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Relating Logic Programs and Attribute Grammars

Decision Support Systems
DevelopmentalArtsInformation SystemsEducational PsychologyHumanitiesManagementManagement Information Systems
1987English

Logic Grammars for Diagnosis and Repair

International Journal on Artificial Intelligence Tools
Artificial Intelligence
2003English

Cut-Eliminability in Second Order Logic Calculus

Annals of the Japan Association for Philosophy of Science
2018English

Fully Abstract Encodings of Λ-Calculus in HOcore Through Abstract Machines

2017English

A Probabilistic Logic Programming Event Calculus

Theory and Practice of Logic Programming
HardwareArchitectureMathematicsComputational TheoryTheoretical Computer ScienceArtificial IntelligenceSoftware
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy