scientific article; zbMATH DE number 1841846

zbMath0999.68037MaRDI QIDQ4783334

Ralph Matthes

Publication date: 4 December 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2142/21420600

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

Related Items (3)

Intuitionistic fixed point logic ⋮ Substitution in non-wellfounded syntax with variable binding ⋮ Two extensions of system F with (co)iteration and primitive (co)recursion principles

This page was built for publication: