lambda-normal forms in an intensional logic for English

DOI10.1007/BF00370327zbMath0457.03010MaRDI QIDQ1150588

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)

Related Items (2)

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

Cites Work

• Unnamed Item
• A parsing method for montague grammars
• Resolution in type theory
• Universal grammar
• A Complete Mechanization of Second-Order Type Theory

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