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

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)349-380
Number of pages32
JournalJournal of Logic and Computation
Volume10
Issue number3
DOIs
Publication statusPublished - 2000

Cite this

@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

VL - 10

SP - 349

EP - 380

JO - Journal of Logic and Computation

JF - Journal of Logic and Computation

SN - 0955-792X

IS - 3

ER -