Schröder, Lutz; Mossakowski, Till HasCasl: integrated higher-order specification and program development. (English) Zbl 1172.68040 Theor. Comput. Sci. 410, No. 12-13, 1217-1260 (2009). MSC: 68Q65 03B15 03B70 68N18 68N30 × Cite Format Result Cite Review PDF Full Text: DOI
Schröder, Lutz The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus. (English) Zbl 1088.68116 Theor. Comput. Sci. 353, No. 1-3, 1-25 (2006). MSC: 68Q65 68N18 03B40 03G30 × Cite Format Result Cite Review PDF Full Text: DOI