Tamara von Glehn

From MaRDI portal
Person:4555335


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
Dialectica models of type theory
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
2021-01-20Paper
scientific article; zbMATH DE number 6981655 (Why is no real title available?)
 
2018-11-20Paper
Asynchronous Algorithmic Alignment with Cocycles
 
N/APaper
Categorical Deep Learning: An Algebraic Theory of Architectures
 
N/APaper


Research outcomes over time


This page was built for person: Tamara von Glehn