Page Information

Title:	Apr 13 Seminar - Impredicative vs Predicative Type Theory
Author:	Jim Entwood	Apr 11, 2012
Last Changed by:	Jim Entwood	Apr 11, 2012
Tiny Link: (useful for email)	https://confluence.cornell.edu/x/Z4aLCg
Export As:	PDF

• seminar

Time	Editor
Apr 11, 2012 09:42	Jim Entwood	View Changes
Migrated to Confluence 4.0
Apr 11, 2012 09:42	Jim Entwood