Spiritus asper versus lambda: on the nature of functional abstraction

DOI10.1215/00294527-10670089MaRDI QIDQ6165008

Ansten Mørch Klev

Publication date: 28 July 2023

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

zbMATH Keywords

typed lambda calculusGottlob Fregefunctional abstraction

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Combinatory logic and lambda calculus (03B40) Type theory (03B38)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• ``Inference versus consequence revisited: inference, consequence, conditional, implication
• Combinatory logic. With two sections by William Craig.
• Implicit epistemic aspects of constructive logic
• The Methodology and Structure of Gottlob Frege's Logico-philosophical Investigations
• Comments on Prof. Kazuyuki Nomoto's Paper
• Functional operations in frege'sbegriffsschrift
• Russell's 1903 - 1905 Anticipation of the Lambda Calculus
• Explicit substitutions
• THE SENSE/REFERENCE DISTINCTION IN CONSTRUCTIVE SEMANTICS
• Double Value-Ranges
• What Types Should Not Be†
• ETA-RULES IN MARTIN-LÖF TYPE THEORY
• A Comparison of Type Theory with Set Theory

This page was built for publication: Spiritus asper versus lambda: on the nature of functional abstraction