Cory M. Knapp

From MaRDI portal
Person:5111188


List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Partial Functions and Recursion in Univalent Type Theory
 
2020-10-31Paper
Partial elements and recursion via dominances in univalent type theory
 
2020-05-26Paper


Research outcomes over time


This page was built for person: Cory M. Knapp