scientific article; zbMATH DE number 1759491
From MaRDI portal
Publication:4536445
zbMath0998.03009MaRDI QIDQ4536445
Ken-etsu Fujita, Aleksy Schubert
Publication date: 25 November 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
Existential type systems between Church and Curry style (type-free style) ⋮ Type checking and typability in domain-free lambda calculi ⋮ Domain-Freeλµ-Calculus ⋮ The undecidability of type related problems in the type-free style System F with finitely stratified polymorphic types ⋮ Existential Type Systems with No Types in Terms
Uses Software
This page was built for publication: