Jean-Jacques Lévy

URI: https://gptkb.org/entity/Jean-Jacques_Lévy
GPTKB entity
Statements (12)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:birthYear 1948
gptkbp:employer gptkb:INRIA
gptkbp:field gptkb:mathematics
https://www.w3.org/2000/01/rdf-schema#label Jean-Jacques Lévy
gptkbp:knownFor gptkb:lambda_calculus
gptkb:Lévy–Longo_tree
theory of computation
gptkbp:nationality gptkb:French
gptkbp:occupation gptkb:mathematician
gptkbp:bfsParent gptkb:French_National_Institute_for_Research_in_Computer_Science_and_Automation_(INRIA)
gptkbp:bfsLayer 6