Previous Up
B Proofs for typing






Previous Up