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

DOI10.1080/01445340902872630MaRDI QIDQ3401360zbMATH OpenOpenAlexWikidataFDO

Authors 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

history of logicconstructive type theoryabstraction in computer sciencelogical abstractionnature of abstract objectsnature of logical types

Mathematics Subject Classification ID

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

Recommendations

• Information and knowledge. A constructive type-theoretical approach
• Abstract Data Types and Type Theory: Theories as Types
• An external approach to abstract data types. I: Computability on abstract data type
• scientific article; zbMATH DE number 88946
• scientific article; zbMATH DE number 3936490
• Abstraction and Ontology: Questions as Propositional Abstracts in Type Theory with Records
• A simple and general theoretical account for abstract types
• Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning
• Publication:4944959

Cites work

• scientific article; zbMATH DE number 5288074 (Why is no real title available?)
• scientific article; zbMATH DE number 3910392 (Why is no real title available?)
• scientific article; zbMATH DE number 733401 (Why is no real title available?)
• scientific article; zbMATH DE number 1062114 (Why is no real title available?)
• scientific article; zbMATH DE number 1463093 (Why is no real title available?)
• scientific article; zbMATH DE number 3237788 (Why is no real title available?)
• A formulation of the simple theory of types
• A modern perspective on type theory. From its origins until today
• Formalizing medieval logical theories. Suppositio, consequentiae and obligationes
• Functionality in Combinatory Logic
• Information and knowledge. A constructive type-theoretical approach
• The inconsistency of higher order extensions of Martin-Löf's type theory
• The lambda calculus. Its syntax and semantics. Rev. ed.

Cited in

(6)

• Abstractions and scientific knowledge representation
• Realist consequence, epistemic inference, computational correctness
• Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics
• Facets and levels of mathematical abstraction
• Changing types: information dynamics for qualitative type spaces
• Information and knowledge. A constructive type-theoretical approach

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

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