skip to main content
Idioma:

Principal Typings in a Restricted Intersection Type System for Beta Normal Forms with De Bruijn Indices

Ventura, Daniel ; Ayala-Rincón, Mauricio ; Kamareddine, Fairouz

Electronic proceedings in theoretical computer science, 2010-01, Vol.15 (Proc. WRS 2009), p.69-82

Open Publishing Association

Texto completo disponível

Citações Citado por
Voltar para lista de resultados

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.