Article,

λ-structures and s-structures: Translating the iteration strategies.

.
Ann. Pure Appl. Logic, 162 (9): 710-751 (2011)

Meta data

Tags

Users

  • @dblp

Comments and Reviews