The upsilon-Calculus as an Assertion-Language for Fairness Arguments

Frank A. Stomp Willem P. de Roever Rob Gerth

Published in: Inf. Comput. (1989)

Keyphrases

language learning
formal language
natural language
specification language
relational calculus
database query languages
game theory
computational linguistics
representation language
argumentation systems
agent programming
database programming language
lambda calculus