Skip to content

About
Post-Proceedings TYPES 2021
- Post-Proceedings Call
Registration
Programme
- Programme
- Accepted Contributions
Call for Contributions
Contact
Privacy Policy

Native Type Theory

8 June 2021

Download

Version
Download 72
File Size 250.49 KB
File Count 1
Create Date 8 June 2021
Last Updated 8 June 2021

Native Type Theory

Christian Williams and Michael Stay

Post navigation

← The syntactic tale of the oracle and the trees A model of continuity in a dependent setting

Eliminating Infinitary Induction-induction →

Leave a Comment

Your email address will not be published. Required fields are marked *

Comment

Name *

Email *

Website

Save my name, email, and website in this browser for the next time I comment.

Search

Search for:

TYPES 2021

This website is maintained by Henning Basold and hosted by the Leiden Institute of Advanced Computer Science.

© 2024 TYPES 2021 | Privacy Policy | Proudly powered by WordPress