Sign in
Rewriting Properties of Combinators for Rudimentary Linear Logic.
Monica Nesi
Valeria de Paiva
Eike Ritter
Published in:
HOA (1993)
Keyphrases
</>
linear logic
desirable properties
fixed point
logic programming