O'Reilly logo

Lambda Calculus with Types by Richard Statman, Wil Dekkers, Henk Barendregt

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

Index of Citations

Abadi and Cardelli (1996), 573

Abadi and Fiore (1996), 390

Abadi and Plotkin (1990), 526, 542, 575

Abelson et al. (1991), xvii, 332

Abramsky (1991), 577, 651

Abramsky and Jung (1994), 314

Abramsky and Ong (1993), 592, 601, 683, 716, 717, 717, 742, 742, 743, 757, 757

Ackermann (1928), 282, 395

Aczel (1988), 435

Aho et al. (1986), 574

Alessi (1991), 682, 682, 694, 705, 706, 723

Alessi (1993), 699, 725

Alessi et al. (2003), 622, 627

Alessi et al. (2004b), 681, 694, 699, 725

Alessi et al. (2006), 622, 627

Alessi et al. (2001), 683, 718

Alessi et al. (2004a), 682, 705

Alessi and Barbanera (1991), 781

Allouche and Shallit (2003), 509

Amadio (1991), 542, 549

Amadio and Cardelli (1993), 465, 474, 554, 561, 565, 566, 575

Amadio and ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required