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

François Lepage

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

2001
4 François Lepage: Partial Probabilistic Interpretations and General Imaging. DEXA Workshop 2001: 254-258
2000
3 François Lepage, Elias Thijsse, Heinrich Wansing: Introduction. Studia Logica 66(1): 1-4 (2000)
2 François Lepage: Partial Monotonic Protothetics. Studia Logica 66(1): 147-163 (2000)
1992
1 François Lepage: Partial Functions in Type Theory. Notre Dame Journal of Formal Logic 33(4): 493-516 (1992)

Coauthor Index

1Elias Thijsse [3]
2Heinrich Wansing [3]

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