Substructural Type Theory

Date

Affiliation

IMDEA Software Institute; Member, School of Mathematics

Speakers

Noam Zeilberger