Georges Mounier

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2005

1 René David, Georges Mounier: An intuitionistic [lambda]-calculus with exceptions. J. Funct. Program. 15(1): 33-52 (2005)

	2005
1		René David, Georges Mounier: An intuitionistic [lambda]-calculus with exceptions. J. Funct. Program. 15(1): 33-52 (2005)

Coauthor Index