scientific article
From MaRDI portal
Publication:3204053
zbMath0716.68061MaRDI QIDQ3204053
Keshav Pingali, Radha Jagadeesan, Prakash Panangaden
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
denotational semanticsfunctional languageScott domainabstract semanticslogic variablesPlotkin-style operational semantics
Related Items (2)
This page was built for publication: