Val Tannen, Albert R. Meyer. Conservativity of Equational Theories in Typed Lambda Calculi. Fundamenta Informaticae, 19(1/2):1-49, 1993.
@article{TannenM93,
title = {Conservativity of Equational Theories in Typed Lambda Calculi},
author = {Val Tannen and Albert R. Meyer},
year = {1993},
tags = {type theory},
researchr = {https://researchr.org/publication/TannenM93},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {19},
number = {1/2},
pages = {1-49},
}