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

DOI10.1080/01445340902872630zbMATH Open1187.03004OpenAlexW1964722522WikidataQ58352011 ScholiaQ58352011MaRDI QIDQ3401360FDOQ3401360

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

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

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)

Cites Work

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

Cited In (6)

• Realist consequence, epistemic inference, computational correctness
• Abstractions and scientific knowledge representation
• Facets and levels of mathematical abstraction
• Changing types: information dynamics for qualitative type spaces
• Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics
• 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)