Year of publication
Type of material
Licence
Language
TIB reading rooms collection
Synonyms were used for: Type theory
Search without synonyms: keywords:("Type theory")
Used synonyms:
- typenlogik
- typentheorie
- typtheorie
-
On introduction, coinduction and equality in Martin-Löf and homotopy type theory
TIBKAT | 2018|Keywords: Typentheorie -
19th International Conference on Types for Proofs and Programs (TYPES 2013) : April 22 - 26, 2013, Toulouse, France
Free accessTIBKAT | 2014|Keywords: Typentheorie -
20th International Conference on Types for Proofs and Programs : TYPES’14, May 12-15, 2014, Paris, France
Free accessTIBKAT | 2015|Keywords: Typentheorie -
18th International Workshop on Types for Proofs and Programs (TYPES 2011) : September 8 - 11, 2011, Bergen, Norway
Free accessTIBKAT | 2013|Keywords: Typentheorie -
Dependent type theory with parameterized first-order data types and well-founded recursion
TIBKAT | 2007|Keywords: Martin-Löf-Typentheorie, Typentheorie -
Proceedings of the 7th ACM SIGPLAN Workshop on Types in Language Design and Implementation : January 25, 2011, Austin, Texas, USA
TIBKAT | 2011|Keywords: Typentheorie -
Decomposing the Univalence Axiom
Free accessDataCite | 2019|Keywords: dependent type theory, homotopy type theory, univalent type theory, cubical type theory -
Guarded Cubical Type Theory
Free accessBASE | 2019|Keywords: Cubical type theory, Homotopy type theory -
Proceedings of the 2009 ACM SIGPLAN Workshop on Types in Language Design and Implementation : Savannah, Georgia, USA, January 24, 2009
TIBKAT | 2009|Keywords: Typentheorie -
Cartesian Cubical Computational Type Theory: Constructive Reasoning with Paths and Equalities
Free accessDataCite | 2018|Keywords: Computational Type Theory, Two-Level Type Theory, Homotopy Type Theory -
Generalized Universe Hierarchies and First-Class Universe Levels
Free accessDataCite | 2022|Keywords: Theory of computation → Type theory, type theory -
Canonicity for Cubical Type Theory
Free accessOnline Contents | 2018|Keywords: Dependent type theory, Cubical type theory -
Guarded Cubical Type Theory
Online Contents | 2018|Keywords: Homotopy type theory, Cubical type theory -
Internal Strict Propositions Using Point-Free Equations
Free accessDataCite | 2022|Keywords: homotopy type theory, Theory of computation → Type theory, Martin-Löf’s type theory, intensional type theory -
A Fibrational Framework for Substructural and Modal Logics
Free accessDataCite | 2017|Keywords: homotopy type theory, type theory -
Towards a practical programming language based on dependent type theory
TIBKAT | 2007|Keywords: Typentheorie -
Guarded Cubical Type Theory: Path Equality for Guarded Recursion
Free accessDataCite | 2016|Keywords: Cubical Type Theory, Dependent Type Theory, Homotopy Type Theory
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.