Search Results - "semantics of nondeterministic algorithms"

A mathematical semantics for a nondeterministic typed λ-calculus: A mathematical semantics for a nondeterministic typed lambda-calculus

Authors: Matthew Hennessy Edward A. Ashcroft

Source: Theoretical Computer Science. 11:227-245

Subject Terms: semantics of nondeterministic algorithms, 0202 electrical engineering, electronic engineering, information engineering, Combinatory logic and lambda calculus, lambda calculus, 0102 computer and information sciences, 02 engineering and technology, Algorithms in computer science, 01 natural sciences, Abstract data types, algebraic specification, Theoretical Computer Science, Computer Science(all)

File Description: application/xml

Access URL: https://dblp.uni-trier.de/db/journals/tcs/tcs11.html#HennessyA80
https://core.ac.uk/display/82798565
https://www.sciencedirect.com/science/article/pii/0304397580900158
https://www.sciencedirect.com/science/article/pii/0304397580900158#!