Entry Abdali:1975:LMPb from complngs.bib
Last update: Thu Jun 20 02:00:37 MDT 2019
Top |
Symbols |
Numbers |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Abdali:1975:LMPb,
author = "S. K. Abdali",
title = "A lambda-calculus model of programming languages.
{II}. Jumps and procedures",
journal = j-COMP-LANGS,
volume = "1",
number = "4",
pages = "303--320",
month = "????",
year = "1975",
CODEN = "COLADA",
ISSN = "0096-0551 (print), 1873-6742 (electronic)",
ISSN-L = "0096-0551",
bibdate = "Tue Mar 25 14:04:06 MST 1997",
bibsource = "http://www.math.utah.edu/pub/tex/bib/complngs.bib",
acknowledgement = ack-nhfb,
classcodes = "C4210 (Formal logic)",
corpsource = "Dept. of Math. Sci., Rensselaer Polytech. Inst., Troy,
NY, USA",
journal-URL = "http://www.sciencedirect.com/science/journal/00960551",
keywords = "call by name; correctness; equivalence of; formal
languages; formal logic; iteration; jumps; lambda
calculus; parameter; procedures; program; programming
languages; programs; side effects; statements",
treatment = "A Application; T Theoretical or Mathematical",
}
Related entries
- Abdali, S. K.,
1(4)287
- calculus,
1(4)287,
10(1)63,
12(3)197,
13(1)31,
19(4)261,
22(2)165,
28(1)29,
33(3)82,
39(3)109
- calculus, lambda-,
1(4)287,
11(1)1,
12(3)197,
13(1)31,
15(1)1
- call,
2(4)117,
15(2)95,
16(1)5,
16(3)209,
33(1)32,
33(1)33,
52(z)65
- correctness,
1(4)287,
2(4)149,
3(2)65,
3(2)135,
5(1)1,
7(2)89,
10(1)23,
10(2)147,
14(3)205,
16(3)259,
18(4)273,
21(2)67
- effect,
6(2)67,
21(3)129
- equivalence,
9(2)71,
38(2)181
- II,
1(3)197,
2(4)149,
18(3)169
- iteration,
10(2)75,
20(3)135,
26(2)67
- lambda,
1(4)287,
3(4)241,
12(3)197,
17(1)19,
17(4)251,
20(1)25
- lambda-calculus,
1(4)287,
11(1)1,
12(3)197,
13(1)31,
15(1)1
- name,
5(2)52,
12(3)163,
18(2)77
- parameter,
1(1)45,
4(3)171,
6(3)115,
14(2)125,
15(2)109,
16(2)167,
16(3)197,
17(1)67,
17(2)147,
17(4)241,
18(4)217
- procedure,
1(4)277,
2(3)47,
2(4)117,
3(2)75,
3(3)181,
3(4)227,
4(2)71,
4(3)171,
5(2)65,
5(3)155,
6(3)115,
8(1)15,
10(1)63,
14(1)11,
14(3)153,
14(4)225,
15(1)27,
15(2)95,
15(2)109,
16(1)5,
16(3)209,
17(1)67,
18(3)153,
19(2)105,
22(4)215
- side,
21(3)129
- statement,
1(2)139,
3(1)13,
3(2)135,
3(3)157,
5(1)1,
7(1)41,
9(3)203,
11(1)29,
15(3)163,
17(4)269,
54(z)512