Normal view
MARC view
Type theory (Topical Term)
Machine generated authority record.
Work cat.: (APU): Stump, Aaron., author. 47416, Verified functional programming in Agda /