Substructural Type Theory

Date

Speakers

Noam Zeilberger

Affiliation

IMDEA Software Institute; Member, School of Mathematics