scientific article
From MaRDI portal
Publication:3142165
zbMath0801.68017MaRDI QIDQ3142165
Lalita Jategaonkar, John C. Mitchell
Publication date: 5 December 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Simply typed lambda calculus with first-class environments ⋮ Query languages for bags and aggregate functions ⋮ \texttt{EVL}: a typed higher-order functional language for events ⋮ Privacy via subsumption
