Results 281 to 290 of about 5,041 (300)
Some of the next articles are maybe not open access.

Nominal essential intersection types

Theoretical Computer Science, 2018
Mauricio Ayala-Rincón   +2 more
exaly  

A formalisation of nominal α-equivalence with A, C, and AC function symbols

Theoretical Computer Science, 2019
Mauricio Ayala-Rincón   +2 more
exaly  

Typed Nominal Rewriting

ACM Transactions on Computational Logic, 2018
Maribel Fernández
exaly  

Home - About - Disclaimer - Privacy