Construction of a C0-System from a universe category
authorRafaël Bocquet <rafael.bocquet@ens.fr>
Mon, 23 May 2016 14:50:54 +0000 (16:50 +0200)
committerRafaël Bocquet <rafael.bocquet@ens.fr>
Mon, 23 May 2016 14:50:54 +0000 (16:50 +0200)
commitc31d468a27ad0ff2fb492e038999aa96f190917c
treeba485d3bc46371eb3e58f0f2ed19dda4ca0eb9f5
parentdf19eb0cf3772202db1ec1cb1053f981c3f41ffe
Construction of a C0-System from a universe category
examples/csystem.ctt