2 search results - page 1 / 1 » Universality and semicomputability for nondeterministic prog... |
JLP
2007
2007
Universality and semicomputability for nondeterministic programming languages over abstract algebras
13 years 4 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...
CALCO
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. Monads are a well-established tool for modelling various computational effects. They form the semantic basis of Moggi’s computational metalanguage, the metalanguage of ...