Search Results

ArticlesSee all articles results »

From journals and magazines

1. A Gradual Probabilistic Lambda Calculus

   http://duke.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV1LSwMxEA4-Ll6sVsH6Igfxtu1udrObQCmUxSqioGIRT8sk2aWHVmSt_9_MJmurePA-TB5kmMzjm4-QCxtlYHWrCozUNkCJtAlAJjIIuYkMV1owwNTAi7h9ZY9PYpL7MTmIhTFzq2fRlPDRpkF54pGED2IuUO8m2bahd4hGOM7vV_kUGSfW2Ttc7Lo8uh29WHM7a_5j0iHTduWmebrvmkdcGuFHV3U7nvF_m9wju_5DScfuBeyTjfKtSzotWQP1tntA-mN6XQMir-hDbY0Ym2JxRjMdzkZ3sFAGaA5zTAZ-DAez0SGZTq6e85vAkyUEwLJsGZgqrXiijYlFaVIdsQw0Y9I6pghjEsSYaqwRcqnTMhESQhPxUhkZguQZyPgI8dtaS2bsHwBUoiSHDDNEUVLFcSpAQY907bmLdzcHo_Bn7ZHL9moL7QeLI7_FvHCgZ74SpN-CrY5fIsd_rnBCdpDlvWmYSU_J1rL-LM8ce8N58wq-AFEnrLM

   by Toro, Matías; Ye, Wenjia and Olmedo, Federico

   Proceedings Of Acm On Programming Languages, Volume 7, Issue OOPSLA1, pp. 256 - 285

   Journal Article : Full Text Online

   View Article PDF

2. Proof nets and the call-by-value λ-calculus

   http://duke.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1JS8NAFB7Ukx7cwbqUKJ6EMetkgVKo1SCi4Ip6GiYzE1qRWGwr-Nv8D_4m30syVUE86DGTmWzv5e3zPUJ2wcvA7FZOVSLBQXGloiIJEuow5SqWydgTGBq4jU_uvYvLOO1Oka7ZC4NllbXsr2R6Ka3rEbv-mvag37evMKkH2hQUMsJfh4gJCtYEcnZ6ePApjVlU5SsxAwCzTWazrPEaSUTsdlmJ4olNj37WTdM9LJL8Kqu9WgGlC6Qwj15WX-9X1SdVHOJbWbbBd_znWy6S-dpUtTrVvCUypYtlsmDaQFi1VFgmc2cT6NfhCvHPwRbPrUKPhpYolAWnLOCDR5q9UkQW19b7G2312jCGkcdhy-61V8lNenTdPaZ1ZwYqgygaUY-pPAbpAL-vYsLVOsiVZjIuvR0NZpvS4AaKiEVa-HnGvMyR0ndUKD0n8RPpr-FmcSkTT4HBIbIgS5iIMBzlBrnvh7HIRIM4hhhc1njl2DbjkZvCtAcO9ONIP46tNJ2wQfYmSwYVWMdvkwNDYf6NFhyUyW_LdoAbJpdHdO7jzinHMQdtpTjwXtwG2TbMwuF3xRyMKPTTeMjdKAKbIA79cP1v998gs3iE2yHdcJPMjJ7HeqvqZNEE9-Cu2yz5_wM6jAqa

   by Accattoli, Beniamino

   Theoretical Computer Science, Volume 606, pp. 2 - 24

   Journal Article : Full Text Online

   View Article PDF

3. Fully Abstract Encodings of $\lambda$-Calculus in HOcore through Abstract Machines

   http://duke.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwrV3dS8MwEA_iky9-g_NjBNmDCmVrk9RExmCOjSGKKIoKQs1Hw4S5iZuC_713aafuyRfpU4-Shrv07n531ztCaoAyMLvlI6csAJTYukgrrqKGcLETxspEY2jgTp49JFfXstf5NeoLa8KK9sAF4-pgT72NPdhBnXCdxFpqBU6wSV3sJZc5al9A5b_AVNDBjKHjXKQxeZooWR--2AmciQN2wg4B8fM5QxT69YN5GYRwKivNS2-VLJd-IW0X-1kjC_lonazMZi7Q8hPcIE-IGT9p22CIwk5pd2THIX1Ex57WHpuDFojYON2sD1q1CG47eogRvgkS6POI9i-xcSUt5_P8LHQRqirzySa57XVvOv2onJIQWYADPFJaCM2ENKB7tBMyZtYpL5g1yoF3hnkv5RhPhcPxngmSfe7zVBvJQBSGbeGP29aqxIHx14YbJfQxhoZi7hlLpTa6Qo5mvMpeiy4YGaCHwNgMGZsljYzBhYytkFPk5veD2MA6EECsWSnW7C-xVsg-yGJujX77PEMa9jiTgBo_4u3_eNMOWcJdhxJctksWp2_v-V4xGqIK_vZ9pxqO1hdDx88a

   by Biernacka, Małgorzata; Biernacki, Dariusz; Pous, Damien; Polesiuk, Piotr; Lenglet, Sergueï and Schmitt, Alan

   Logical Methods In Computer Science, Volume 20, Issue 3, Issue 3, pp. 1 - 45

   Journal Article : Full Text Online

See all 4,929 Articles results

Back to results navigation