16 search results - page 1 / 4 » On universal algebra over nominal sets |
MSCS
2010
13 years 5 months ago
2010
ENTCS
2008
13 years 7 months ago
2008
bstraction Functor for Named Sets Vincenzo Ciancia 1 Ugo Montanari 1 Department of Computer Science University of Pisa lem of dening fully abstract operational models of name pass...
CORR
2010
Springer
13 years 3 months ago
2010
Springer
SAS
1991
Springer
13 years 10 months ago
1991
Springer
d Abstract) Marcelo Fiore1 Chung-Kil Hur2,3 Computer Laboratory University of Cambridge Cambridge, UK We introduce an abstract general notion of system of equations between terms,...
JLP
2007
2007
Universality and semicomputability for nondeterministic programming languages over abstract algebras
13 years 6 months ago
tract Algebras Wei Jiang∗ , Yuan Wang† , and Jeffery Zucker‡ September 11, 2006 The Universal Function Theorem (UFT) originated in 1930s with the work of Alan Turing, who p...