Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ancienne équipe : | ACASA |
- G. Dowek, Th. Hardin, C. Kirchner : “HOL-lambda-sigma: an intentional first-order expression of higher-order logic”, Mathematical Structures in Computer Science, vol. 11, pp. 21-45, (Cambridge University Press (CUP)) [Dowek 2001b]