dblp.uni-trier.dewww.uni-trier.de

M. D. G. Swaen

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1992
2 M. D. G. Swaen: A Characterization of ML in Many-Sorted Arithmetic with Conditional Application. J. Symb. Log. 57(3): 924-953 (1992)
1991
1 M. D. G. Swaen: The Logic of First Order Intuitionistic Type Theory with Weak Sigma-Elimination. J. Symb. Log. 56(2): 467-483 (1991)

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)