Artikel,

Unary profile of lambda terms with restricted De Bruijn indices.

, und .
Discret. Math. Theor. Comput. Sci., (2021)

Metadaten

Tags

Nutzer

  • @dblp

Kommentare und Rezensionen