scientific article; zbMATH DE number 1424036

From MaRDI portal

Publication:4945226

Jump to:navigation, search

zbMath0942.03016MaRDI QIDQ4945226

Eduardo Bonelli

Publication date: 23 August 2000

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

zbMATH Keywords

fields functional calculus strong normalization object calculus de Bruijn indices calculus of explicit substitutions non-conditional first-order system

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4945226&oldid=19364862"