Frédéric Ruyer

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2008

1 Christophe Raffalli, Frédéric Ruyer: Realizability of the Axiom of Choice in HOL. (An Analysis of Krivine's Work). Fundam. Inform. 84(2): 241-258 (2008)

	2008
1		Christophe Raffalli, Frédéric Ruyer: Realizability of the Axiom of Choice in HOL. (An Analysis of Krivine's Work). Fundam. Inform. 84(2): 241-258 (2008)

Coauthor Index

1 Christophe Raffalli [1]