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".
...no Data available yet!