2 results
A characterization of ML in many-sorted arithmetic with conditional application
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 3 / September 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 924-953
- Print publication:
- September 1992
-
- Article
- Export citation
The logic of first order intuitionistic type theory with weak sigma-elimination
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 467-483
- Print publication:
- June 1991
-
- Article
- Export citation