Daniel R. Licata

E1952622 UNEXPLORED

Daniel R. Licata is a computer scientist and researcher known for his work in type theory, homotopy type theory, and the foundations of programming languages.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
Daniel R. Licata canonical	1

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Peter LeFanu Lumsdaine → hasCoauthor → Daniel R. Licata ⓘ