Skip to content

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

Normalization for multimodal type theory

8 June 2021

Download

Version
Download 43
File Size 231.94 KB
File Count 1
Create Date 8 June 2021
Last Updated 8 June 2021

Normalization for multimodal type theory

Daniel Gratzer

Post navigation

← A drag-and-drop proof tactic

Semantic Analysis of Normalization by Evaluation for Fitch-Style Modal Lambda Calculi →

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