Jan Willem Klop
| Use attributes for filter ! | |
| Gender | Male |
|---|---|
| Age | 79 |
| Date of birth | December 19,1945 |
| Zodiac sign | Sagittarius |
| Born | Gorinchem |
| Netherlands | |
| Thesis | Combinatory |
| Books | Term Rewriting Systems |
| Diagram Techniques for Confluence | |
| Job | Professor |
| Education | Utrecht University |
| Affiliations | VU University Amsterdam |
| Thesi | Combinatory |
| Academic advisor | Henk Barendregt |
| Dirk van Dalen | |
| Interests | Mathematics |
| Logic | |
| Computer Science | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 1204242 |
Jan Willem Klop Life story
Jan Willem Klop is a professor of applied logic at Vrije Universiteit in Amsterdam. He holds a Ph.D. in mathematical logic from Utrecht University. Klop is known for his work on the Algebra of Communicating Processes, co-author of TeReSe and his fixed point combinator Yₖ = where L = λabcdefghijklmnopqstuvwxyzr.
Jan Willem Klop Photos
