Proceeding in Abstraction. From Concepts to Types and the Recent Perspective on Information

DOI10.1080/01445340902872630zbMath1187.03004OpenAlexW1964722522WikidataQ58352011 ScholiaQ58352011MaRDI QIDQ3401360

Giuseppe Primiero

Publication date: 29 January 2010

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2434/587308

zbMATH Keywords

constructive type theoryhistory of logicabstraction in computer sciencelogical abstractionnature of abstract objectsnature of logical types

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logic in computer science (03B70) History of mathematical logic and foundations (03-03)

Related Items (2)

Realist Consequence, Epistemic Inference, Computational Correctness ⋮ Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics

Cites Work

• The inconsistency of higher order extensions of Martin-Löf's type theory
• The lambda calculus. Its syntax and semantics. Rev. ed.
• A modern perspective on type theory. From its origins until today
• Formalizing medieval logical theories. Suppositio, consequentiae and obligationes
• Information and knowledge. A constructive type-theoretical approach
• Functionality in Combinatory Logic
• A formulation of the simple theory of types
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Proceeding in Abstraction. From Concepts to Types and the Recent Perspective on Information