Encoding linear logic with interaction combinators
Autoria(s):
- Mackie, Ian;
- Pinto, Jorge Sousa;
Data(s):
- 2002-08;
Tipo: info:eu-repo/semantics/article
Publicador(es):
- Elsevier Science;
Assunto(s):
- Interaction nets;
- Linear logic;
- Cut-elimination;
- Lambda-calculus;
- cut-elimation;
- ?-calculus;
- Science & Technology;
Contribuidor(es):
- ;
Direitos: info:eu-repo/semantics/openaccess
Formato: application/pdf
Idioma: eng