Jan Willem Klop

GPTKB entity

Statements (33)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:birthDate 1945
gptkbp:doctoralAdvisor gptkb:Dirk_van_Dalen
gptkbp:doctoralStudent gptkb:Johan_van_Benthem
gptkb:Jan_Bergstra
gptkb:Jan_Rutten
gptkb:Mark_van_den_Brand
gptkb:Wan_Fokkink
Bas Luttik
Bert Lisser
Erik de Vink
Femke van Raamsdonk
Frits Blokzijl
Frits Vaandrager
Hanne Riis Nielson
Hans Zantema
Herman Geuvers
Jaco van de Pol
Jan Friso Groote
Jeroen Ketema
Jurriaan Hage
Roel de Vrijer
gptkbp:employer gptkb:Vrije_Universiteit_Amsterdam
https://www.w3.org/2000/01/rdf-schema#label Jan Willem Klop
gptkbp:knownFor gptkb:lambda_calculus
process algebra
term rewriting systems
gptkbp:nationality Dutch
gptkbp:occupation gptkb:computer_scientist
gptkb:mathematician
gptkbp:bfsParent gptkb:J._A._Bergstra
gptkb:Erik_Meijer
gptkbp:bfsLayer 7