skip to main content
Language:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Simple Search

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

Full text available

Citations Cited by
Back to results list
Go to Previous pagePrevious Result  9

  • Implemented by: ABCD-USP USP   Social Network Logos: Freepik

Searching Remote Databases, Please Wait

  • Searching for
  • inscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Show me what you have so far