"Dualized Simple Type Theory."

Harley Eades III, Aaron Stump, Ryan McCleeary (2016)

Details and statistics

DOI: 10.2168/LMCS-12(3:2)2016

access: open

type: Journal Article

metadata version: 2021-11-25