Relating the Lambda-Sigma and Lambda-s Styles of Explicit Substitutions. Special Issue on Type Theory and Term Rewriting

Research output: Contribution to journal › Article

Original language	English
Pages (from-to)	349-380
Number of pages	32
Journal	Journal of Logic and Computation
Volume	10
Issue number	3
DOIs	https://doi.org/10.1093/logcom/10.3.349
Publication status	Published - 2000

Access to Document

@article{77edfca72993440baaad941605a6f053,

title = "Relating the Lambda-Sigma and Lambda-s Styles of Explicit Substitutions. Special Issue on Type Theory and Term Rewriting",

author = "Kamareddine, {Fairouz Dib} and A Rios",

year = "2000",

doi = "10.1093/logcom/10.3.349",

language = "English",

volume = "10",

pages = "349--380",

journal = "Journal of Logic and Computation",

issn = "0955-792X",

publisher = "Oxford University Press",

number = "3",

}

TY - JOUR

T1 - Relating the Lambda-Sigma and Lambda-s Styles of Explicit Substitutions. Special Issue on Type Theory and Term Rewriting

AU - Kamareddine, Fairouz Dib

AU - Rios, A

PY - 2000

Y1 - 2000

U2 - 10.1093/logcom/10.3.349

DO - 10.1093/logcom/10.3.349

M3 - Article

SN - 0955-792X

VL - 10

SP - 349

EP - 380

JO - Journal of Logic and Computation

JF - Journal of Logic and Computation

IS - 3

ER -