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

Descriçao