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
https://portal.mardi4nfdi.de/entity/Q4993352	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
https://portal.mardi4nfdi.de/entity/Q5214814	2020-02-05	Paper
Eilenberg-MacLane spaces in homotopy type theory	2018-04-23	Paper
A Cubical Approach to Synthetic Homotopy 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
π 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