A COUNTEREXAMPLE TO THE CHURCH-ROSSER PROPERTY FOR LAMBDA CALCULUS WITH SURJECTIVE PAIRINGKLOP JW.1979; LAMBDA CALCUL ET SEMANTIQUE FORMELLE DES LANGAGES DE PROGRAMMATION. ECOLE DE PRINTEMPS D'INFORMATIQUE THEORIQUE. 6/1978/LA CHATRE; FRA; PARIS: LABORATOIRE D'INFORMATIQUE THEORIQUE ET PROGRAMMATION/PARIS: ECOLE NATIONALE SUPERIEURE DE TECHNIQUES AVANCEES; DA. 1979; PP. 213-226; BIBL. 8 REF.Conference Paper

A FORMALIZED PROOF SYSTEM FOR TOTAL CORRECTNESS OF WHILE PROGRAMSBERGSTRA JA; KLOP JW.1982; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1982; NO 137; PP. 26-36; BIBL. 8 REF.Conference Paper

INITIAL ALGEBRA SPECIFICATIONS FOR PARAMETRIZED DATA TYPESBERGSTRA JA; KLOP JW.1981; STICHT. MATH. CENT. AFD. INFORM.; ISSN 0376-4028; NLD; DA. 1981; 186/81; 20 P.; BIBL. 10 REF.Serial Issue

CORRECTNESS OF PROGRAMS WITH FUNCTION PROCEDURESDE BAKKER JW; KLOP JW; MEYER JJC et al.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981 PUBL. 1982; NO 131; PP. 94-112; BIBL. 23 REF.Conference Paper