!!Jan Klop
!Short laudatio by Henk Barendregt

Jan Klop made fundamental contributions to computability through
rewriting: in lambda calculus, term-rewriting, infinitary rewriting
and the combinatory reduction systems. In lambda calculus he
refuted, using the 'infinitary' character of the system, a
standing conjecture: the confluency of the system extended by
surjective pairing.
\\ \\
He is the main author of the 900+ pages monograph on term
rewriting. Klop also made essential contributions to process algebra,
graph rewriting, and recursive terms.
\\

----

!Any further pages in alphabetic order of their title as created by you.\\

Just click at "Create new page", then type a short title and click OK, then add information on the empty page presented to you (including maybe a picture from your harddisk or a pdf-file by using the "Upload" Button) and finally click at "Save".\\
[{CategoryIndexPlugin category='User/Klop_Jan/OtherInformation'}]