Lumsdaine, Warren : an overlooked construction for dependant type theories

Advertisements
This entry was posted in Philosophie. Bookmark the permalink.