Article,

lambda-structures and s-structures: Translating the models.

.
Ann. Pure Appl. Logic, 162 (4): 257-317 (2011)

Meta data

Tags

Users

  • @dblp

Comments and Reviews