scientific article
From MaRDI portal
Publication:3857730
zbMath0423.68048MaRDI QIDQ3857730
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (7)
Intersection types for explicit substitutions ⋮ Explicit substitutions with de bruijn's levels ⋮ A useful \(\lambda\)-notation ⋮ Termination of rewrite relations on \(\lambda\)-terms based on Girard's notion of reducibility ⋮ Pure pattern calculus à la de Bruijn ⋮ Lambda-calculus with director strings ⋮ λν, a calculus of explicit substitutions which preserves strong normalisation
This page was built for publication:
