Using Λ-Calculus to Represent Meanings in Logic Grammars

doi 10.3115/981311.981321
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computational Linguistics

Related search

Simply Typed Λ-Calculus

1993English

Extending Pruning Techniques to Polymorphic Second Order Λ-Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

Formalising the Π-Calculus Using Nominal Logic

English

Minimalist Grammars in the Light of Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Logic Grammars for Diagnosis and Repair

International Journal on Artificial Intelligence Tools
Artificial Intelligence
2003English

Relating Logic Programs and Attribute Grammars

Decision Support Systems
DevelopmentalArtsInformation SystemsEducational PsychologyHumanitiesManagementManagement Information Systems
1987English

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

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

Privacy PolicyRefund Policy