references

tapl Category

2021

11-21

references

11-21

simple extensions

11-21

fixpoint

11-21

de bruijn index

10-01

type safety

08-28

substitution