scientific article; zbMATH DE number 1497779
From MaRDI portal
Publication:4499196
zbMath0958.68022MaRDI QIDQ4499196
Belmina Dzafic, Olivier Danvy, Frank Pfenning
Publication date: 6 March 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
A first-order one-pass CPS transformation ⋮ Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax ⋮ Refunctionalization at work
Uses Software
This page was built for publication:
