Proving metatheorems:STLC: Answers to exercises
From The Twelf Project
This page contains answers to the exercises listed here. If you've solved an exercise that isn't answered on this page, or if you have a different solution to an exercise, please add it here.
[edit] STLC with products
Add product types (
) to the STLC and extend the proof of preservation to cover this new type.
