Gerard R. Renardel de Lavalette
Affiliations: | University of Groningen, Groningen, Netherlands |
Area:
Dynamic Logic for Security, Proof theory of equational logic, Exact models for intuitionistic propositional logic, Modal and dynamic logicWebsite:
http://www.cs.rug.nl/~grl/Google:
"Gerard Rudolf Renardel de Lavalette"Bio:
http://hoogleraren.ub.rug.nl/?page=showPerson&type=hoogleraar&hoogleraar_id=1073
G.R. Renardel de Lavalette at the Album Academicum of the University of Amsterdam
http://www.genealogy.math.ndsu.nodak.edu/id.php?id=49681
Parents
Sign in to add mentor| Anne S. Troelstra | grad student | 1985 | Amsterdam | |
| (Theories with type-free application and extended bar induction) | ||||