575 search results - page 39 / 115 » A Calculus for Interaction Nets |
ICFP
1996
ACM
14 years 1 months ago
1996
ACM
An extension of the simply-typed lambda calculus is presented which contains both well-structured inductive and coinductive types, and which also identifies a class of types for w...
MOVEP
2000
14 years 12 days ago
2000
We propose a short bibliographic survey of calculi for mobile processes. Contrasting with other similar exercises, we consider two related, but distinct, notions of mobile processe...
ZUM
2000
Springer
14 years 12 days ago
2000
Springer
Abstract. This paper presents some of our requirements for a Z typechecker: that the typechecker accept all well-typeable formulations, however contrived; that it gather informatio...
CHI
2005
ACM
14 years 9 months ago
2005
ACM
A predictive tool to simulate human visual search behavior would help interface designers inform and validate their design. Such a tool would benefit from a semantic component tha...
BIOCOMP
2006
13 years 10 months ago
2006
Intracellular signaling pathways as well as the interactions and coordination that exist among them are complex and difficult to visualize and understand. Computer-based models of...