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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Daniel R. Licata