Daniel R. Licata

Available identifiers

zbMath Open licata.daniel-rMaRDI QIDQ2819683

List of research outcomes

Publication	Date of Publication	Type
A formal logic for formal category theory	2023-11-24	Paper
Denotational semantics as a foundation for cost recurrence extraction for functional languages	2022-09-02	Paper
Syntax and models of Cartesian cubical type theory	2022-01-20	Paper
Gradual type theory	2021-12-27	Paper
Internal universes in models of homotopy type theory	2021-06-15	Paper
Call-by-name gradual type theory	2021-06-15	Paper
Synthetic Spectra via a Monadic and Comonadic Modality	2021-02-08	Paper
A Constructive Model of Directed Univalence in Bicubical Sets	2021-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q5111322	2020-05-26	Paper
Call-by-name gradual type theory	2020-02-05	Paper
A cubical approach to synthetic homotopy theory	2018-04-23	Paper
Eilenberg-MacLane spaces in homotopy type theory	2018-04-23	Paper
A mechanization of the Blakers-Massey connectivity theorem in homotopy type theory	2018-04-23	Paper
Homotopical patch theory	2017-10-23	Paper
Adjoint logic with a 2-category of modes	2017-07-21	Paper
Calculating the Fundamental Group of the Circle in Homotopy Type Theory	2017-07-03	Paper
Denotational cost semantics for functional languages with inductive types	2017-05-10	Paper
Homotopical patch theory	2016-09-29	Paper
2-Dimensional Directed Type Theory	2016-07-15	Paper
Canonicity for 2-dimensional type theory	2015-09-11	Paper
Security-typed programming within dependently typed programming	2015-03-05	Paper
\(\pi _{n }(S ^{n })\) in homotopy type theory	2015-01-13	Paper
A universe of binding and computation	2015-01-06	Paper
Mechanizing metatheory in a logical framework	2007-09-26	Paper

Research outcomes over time

This page was built for person: Daniel R. Licata