Type Theory Forall

Type Theory much beyond inference rules

Episode not found

Sponsors

mp3-RSS-Feed

join our discord

Type Theory Forall © 2024 by Pedro Abreu is licensed under CC BY 4.0