scientific article; zbMATH DE number 1950453
From MaRDI portal
Publication:4413069
zbMath1037.68040MaRDI QIDQ4413069
Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama
Publication date: 17 July 2003
Full work available at URL: http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2002/S02-01/S02-01.html
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Nominal unification ⋮ A Logical Foundation for Environment Classifiers ⋮ Functional Programming With Higher-order Abstract Syntax and Explicit Substitutions
This page was built for publication: