root
cv
misc/
Logical Relations
tags:
coq
logrel
How to give those type systems some normal meaning
posted on May 5, 2024
Table of Contents
1
The problem of safety
2
Syntactic argument
3
Toy example
4
LR for the toy example
5
Semantic argument
1
The problem of safety
2
Syntactic argument
3
Toy example
4
LR for the toy example
5
Semantic argument