!!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'}]