lambda-normal forms in an intensional logic for English

DOI10.1007/BF00370327MaRDI QIDQ1150588zbMATH OpenFDO

Authors Joyce Friedman, David S. Warren

Publication date 1980

Published in Studia Logica (Search for Journal in Brave)

zbMATH Keywords

natural languageextension of typed lambda calculuslambda normal formtensed intensional logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Combinatory logic and lambda calculus (03B40)

Cites work

• scientific article; zbMATH DE number 3531346 (Why is no real title available?)
• A Complete Mechanization of Second-Order Type Theory
• A parsing method for montague grammars
• Resolution in type theory
• Universal grammar

Cited in

(2)

• Intensional logic and two-sorted type theory
• Substitution contradiction, its resolution and the Church-Rosser theorem in TIL

This page was built for publication: lambda-normal forms in an intensional logic for English

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1150588)