From jamner.d at husky.neu.edu Tue Feb 21 15:31:01 2017 From: jamner.d at husky.neu.edu (Dustin Jamner) Date: Tue, 21 Feb 2017 15:31:01 -0500 Subject: [PL-sem-jr] PL Junior 2/28 Message-ID: <0A2EEB55-32C4-4227-910A-F0C303B08558@husky.neu.edu> Hi All, I will be presenting next week on the sequent calculus based on the paper "A Lambda-calculus Structure Isomorphic to Gentzen-style Sequent Calculus Structure? (https://hal.inria.fr/inria-00381525/document ). The sequent calculus is an equally powerful alternative to natural deduction that has uses, among other things, in proof search. This paper presents a term language analogous to the ?-calculus where the typing judgments are the rules of the sequent calculus. Dustin Jamner jamner.d at husky.neu.edu -------------- next part -------------- HTML attachment scrubbed and removed From yee.mi at husky.neu.edu Tue Feb 28 17:51:35 2017 From: yee.mi at husky.neu.edu (Ming-Ho Yee) Date: Tue, 28 Feb 2017 17:51:35 -0500 Subject: [PL-sem-jr] Logic Programming (Mar 14, Mar 21) Message-ID: Hi all, Next week is spring break, so there is no PL Jr. But for the two sessions after that (March 14 and March 21), Milo and I will be presenting Prolog and logic programming. We'll be presenting from a short blog post that introduces Prolog [1], and a paper about the denotational and operational semantics of Prolog [2]. Thanks, Ming-Ho [1]: https://bernardopires.com/2013/10/try-logic-programming- a-gentle-introduction-to-prolog/ [2] http://www.sciencedirect.com/science/article/pii/0743106688900076 -------------- next part -------------- HTML attachment scrubbed and removed