Types for Proofs and Programs
Work
Year: 2006
Type: book
Institutions Institut national de recherche en informatique et en automatique, Laboratoire de Recherche en Informatique, Centre National de la Recherche Scientifique, Université Paris-Sud, Laboratoire d'Informatique de l'École Polytechnique
Cites: 5
Cited by: 7
Related to: 10
FWCI: 0.179
Citation percentile (by year/subfield): 56.94
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed