Entry Perez:1991:EPC from lncs1991.bib
Last update: Sun Jun 12 02:46:39 2016
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{Perez:1991:EPC,
author = "R. Pino Perez",
title = "An extensional partial combinatory algebra based on
lambda-terms",
journal = j-LECT-NOTES-COMP-SCI,
volume = "520",
pages = "387--??",
year = "1991",
CODEN = "LNCSD9",
ISSN = "0302-9743 (print), 1611-3349 (electronic)",
ISSN-L = "0302-9743",
bibdate = "Mon May 13 08:51:55 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lncs1991.bib",
acknowledgement = ack-nhfb,
}
Related entries
- algebra,
498(0)98,
503(0)24,
504(0)144,
508(0)234,
510(0)469,
510(0)506,
520(0)1,
520(0)397,
526(0)176,
527(0)20,
527(0)96,
527(0)188,
527(0)235,
527(0)332,
527(0)376,
527(0)495,
530(0)140,
530(0)236,
531(0)343,
531(0)353,
533(0)31,
534(0)185,
539(0)48,
566(0)391,
571(0)473,
571(0)493,
575(0)136,
575(0)288,
575(0)376,
575(0)432,
575(0)454
- based,
473(0)31,
473(0)63,
473(0)313,
473(0)481,
473(0)487,
483(0)113,
496(0)145,
496(0)314,
496(0)356,
498(0)98,
498(0)319,
499(0)212,
504(0)428,
507(0)227,
507(0)271,
507(0)426,
508(0)132,
508(0)341,
511(0)23,
514(0)193,
515(0)107,
519(0)1,
521(0)317,
521(0)578,
521(0)588,
521(0)598,
524(0)227,
527(0)43,
528(0)425,
531(0)116,
532(0)12,
532(0)24,
532(0)174,
532(0)461,
532(0)641,
536(0)149,
537(0)576,
537(0)576-1,
537(0)601,
539(0)241,
542(0)82,
542(0)172,
545(0)438,
546(0)428,
546(0)501,
547(0)352,
547(0)399,
547(0)527,
548(0)48,
548(0)107,
549(0)302,
553(0)265,
557(0)375,
567(0)199,
575(0)37,
575(0)103,
576(0)204,
576(0)252,
576(0)301
- extensional,
510(0)35
- partial,
497(0)231,
520(0)74,
523(0)145,
523(0)165,
530(0)140,
531(0)176,
532(0)490,
539(0)434,
542(0)142,
548(0)171,
551(0)511,
575(0)332