Search results
From MaRDI portal
- intensional type theory 2010-09-21 Paper Lawvere–Tierney sheaves in Algebraic Set Theory 2009-09-29 Paper Weak ω-Categories from Intensional Type Theory 2009-07-07...10 bytes (18 words) - 19:38, 13 December 2023
- Homotopy Type Theory 2021-01-21 Paper Higher Groups in Homotopy Type Theory 2021-01-20 Paper The real projective spaces in homotopy type theory 2021-01-19...10 bytes (16 words) - 10:47, 25 September 2023
- Directed Type Theory 2016-07-15 Paper Canonicity for 2-dimensional type theory 2015-09-11 Paper Security-typed programming within dependently typed programming...10 bytes (18 words) - 03:05, 25 September 2023
- derivation in type theory: A partitioning problem 1986-01-01 Paper Propositions and specifications of programs in Martin-Löf's type theory 1984-01-01 Paper...10 bytes (17 words) - 09:18, 7 October 2023
- Date of Publication Type The hole argument in homotopy type theory 2020-04-07 Paper UNIVERSES AND UNIVALENCE IN HOMOTOPY TYPE THEORY 2019-10-30 Paper Identity...10 bytes (16 words) - 05:52, 7 October 2023
- Homotopy Type Theory 2021-01-20 Paper Cellular Cohomology in Homotopy Type Theory 2021-01-20 Paper The real projective spaces in homotopy type theory 2021-01-19...10 bytes (17 words) - 19:36, 24 September 2023
- Canonicity for cubical type theory 2019-08-21 Paper An adequacy theorem for dependent type theory 2019-07-04 Paper Cubical Type Theory: a constructive interpretation...10 bytes (16 words) - 09:21, 25 September 2023
- constructive type theory 2020-05-06 Paper Categoricity results and large model constructions for second-order ZF in dependent type theory 2019-08-21 Paper...10 bytes (16 words) - 19:36, 24 September 2023
- in constructive type theory 2019-11-12 Paper Alpha-structural induction and recursion for the lambda calculus in constructive type theory 2018-04-23 Paper...10 bytes (16 words) - 03:19, 25 September 2023
- in constructive type theory 2019-11-12 Paper Alpha-structural induction and recursion for the lambda calculus in constructive type theory 2018-04-23 Paper...10 bytes (16 words) - 03:19, 25 September 2023
- in constructive type theory 2019-11-12 Paper Alpha-structural induction and recursion for the lambda calculus in constructive type theory 2018-04-23 Paper...10 bytes (16 words) - 10:06, 25 September 2023
- Publication Date of Publication Type Two-level type theory and applications 2024-03-05 Paper Two-level type theory and applications - ERRATUM 2024-03-05...10 bytes (16 words) - 19:27, 24 September 2023
- Publication Type Non-wellfounded trees in Homotopy Type Theory 2017-07-12 Paper Terminal semantics for codata types in intensional Martin-L\"of type theory 2017-07-12...10 bytes (16 words) - 17:26, 6 October 2023
- Remarks on Martin-Löf's partial type theory 1993-11-28 Paper A construction of type: type in Martin-Löf's partial type theory with one universe 1992-06-27...10 bytes (16 words) - 22:07, 24 September 2023
- in homotopy type theory 2019-08-21 Paper A Cubical Approach to Synthetic Homotopy Theory 2018-04-23 Paper π n (S n ) in Homotopy Type Theory 2015-01-13...10 bytes (16 words) - 20:29, 6 October 2023
- in Homotopy Type Theory 2021-01-21 Paper Maintaining a library of formal mathematics 2021-01-20 Paper Higher Groups in Homotopy Type Theory 2021-01-20 Paper...10 bytes (18 words) - 19:36, 24 September 2023
- a Pure Type System with Parameters 2002-01-07 Paper A correspondence between Martin-Löf type theory, the ramified theory of types and pure type systems...10 bytes (16 words) - 01:36, 25 September 2023
- 2018-03-27 Paper Natural models of homotopy type theory 2018-01-11 Paper Inductive Types in Homotopy Type Theory 2017-05-16 Paper Topos Semantics for Higher-Order...10 bytes (17 words) - 06:27, 9 December 2023
- heterotic M-theory 2000-08-30 Paper The ten-dimensional effective action of strongly coupled heterotic string theory 2000-07-12 Paper Heterotic M-theory in five...10 bytes (17 words) - 15:29, 7 December 2023
- orientifolds of type 0B string theory 2001-05-07 Paper https://portal.mardi4nfdi.de/entity/Q2710326 2001-04-23 Paper Holomorphic couplings in string theory 2001-03-08...10 bytes (16 words) - 12:23, 28 January 2024
