Papers tagged computational models A Universal Modular ACTOR Formalism for Artificial Intelligence The Derivative of a Regular Type is its Type of One-Hole Contexts The Essence of Functional Programming Browse All Keywords By Category
