Comments on: Type theory https://www.monomorphic.org/wordpress/type-theory/ Conceptual meandering Tue, 08 Feb 2011 05:14:37 +0000 hourly 1 https://wordpress.org/?v=6.4.3