First Page | Document Content | |
---|---|---|
Date: 2015-07-08 00:48:54Mathematics Academia Mathematical logic Type theory Abstract algebra Logic in computer science Mathematical structures Formal methods Intuitionistic type theory Expression Lambda calculus Universal algebra | RDP 2015, Jun. 30, 2015, WCMCS, Warsaw. From syntax to semantics of Dependent Type Theories - Formalized by Vladimir VoevodskyAdd to Reading ListSource URL: rdp15.mimuw.edu.plDownload Document from Source WebsiteFile Size: 84,17 KBShare Document on Facebook |