scientific article
From MaRDI portal
Publication:3677152
zbMath0563.68016MaRDI QIDQ3677152
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
implementationtyped lambda-calculusabstract data typesprogramming language constructscorrectness of compositionterminating programs
Related Items