A TYPE SOUNDNESS PROOF FOR VARIABLES IN LCF-ML Article

cited authors

  • VOLPANO, D; SMITH, G

fiu authors

publication date

  • November 1995

published in

author keyword

category

keywords

  • FORMAL SEMANTICS
  • TYPE THEORY
  • VARIABLES AND ASSIGNMENT

Digital Object Identifier (DOI)

start page

  • 141

end page

  • 146

volume

  • 56

issue

  • 3

research area