Index of /~jlavalle/papers/Constructive Set and Type Theories

Icon  Name                                                        Last modified      Size  Description
[DIR] Parent Directory                                                                 -   
[   ] aMinimalistTwoLevelFoundationForConstructiveMathematics.pdf 05-Aug-2011 21:04  498K  
[   ] choicePrinciplesInConstructiveAndClassicalSetTheories.pdf   05-Aug-2011 20:22  271K  
[   ] constructiveMathematicsInTheoryAndProgrammingPractice.pdf   05-Aug-2011 20:54  1.6M  
[   ] constructiveSetTheoriesAndTheirCategoryTheoreticModels.pdf  05-Aug-2011 20:20  207K  
[   ] generalizedInductiveDefinitionsInConstructiveSetTheory.pdf  05-Aug-2011 20:32  237K  
[   ] heytingValuedInterpretationsForConstructiveSetTheory.pdf    05-Aug-2011 20:30  247K  
[   ] localConstructiveSetTheoryAndInductiveDefinitions.pdf       05-Aug-2011 20:56  127K  
[   ] notesOnConstructiveSetTheory.pdf                            05-Aug-2011 20:24  814K  
[   ] verifyingHaskellProgramsUsingConstructiveTypeTheory.pdf     05-Aug-2011 20:58  155K
Apache/2.2.15 (Linux/SUSE) Server at aleteya.cs.buap.mx Port 80