A Lambda-Calculus Model of Programming Languages - II. Jumps and Procedures

S. Kamal Abdali. A Lambda-Calculus Model of Programming Languages - II. Jumps and Procedures. Computer Languages, Systems \& Structures, 1(4):303-320, 1976.

@article{Abdali76a,
  title = {A Lambda-Calculus Model of Programming Languages - II. Jumps and Procedures},
  author = {S. Kamal Abdali},
  year = {1976},
  tags = {programming languages, modeling language, language modeling, programming},
  researchr = {https://researchr.org/publication/Abdali76a},
  cites = {0},
  citedby = {0},
  journal = {Computer Languages, Systems \& Structures},
  volume = {1},
  number = {4},
  pages = {303-320},
}