Skip to content

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

M-Types and Bisimulation

8 June 2021

Download

Version
Download 73
File Size 239.10 KB
File Count 1
Create Date 8 June 2021
Last Updated 8 June 2021

M-Types and Bisimulation

Henning Basold and Daniël Otten

Post navigation

← Modelling Smart Contracts of Bitcoin in Agda

Size-Based Termination for Non-Positive Types →

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