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)

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)