Grammar frameworks | Combinatory logic | Type theory
Combinatory categorial grammar (CCG) is an efficiently parsable, yet linguistically expressive grammar formalism. It has a transparent interface between surface syntax and underlying semantic representation, including predicate–argument structure, quantification and information structure. The formalism generates constituency-based structures (as opposed to dependency-based ones) and is therefore a type of phrase structure grammar (as opposed to a dependency grammar). CCG relies on combinatory logic, which has the same expressive power as the lambda calculus, but builds its expressions differently. The first linguistic and psycholinguistic arguments for basing the grammar on combinators were put forth by Steedman and Szabolcsi. More recent prominent proponents of the approach are Pauline Jacobson and Jason Baldridge. In these new approaches, the combinator B (the compositor) is useful in creating long-distance dependencies, as in "Who do you think Mary is talking about?" and the combinator W (the duplicator) is useful as the lexical interpretation of reflexive pronouns, as in "Mary talks about herself". Together with I (the identity mapping) and C (the permutator) these form a set of primitive, non-interdefinable combinators. Jacobson interprets personal pronouns as the combinator I, and their binding is aided by a complex combinator Z, as in "Mary lost her way". Z is definable using W and B. (Wikipedia).
Claire Amiot: Cluster algebras and categorification - Part 2
Abstract: In this course I will first introduce cluster algebras associated with a triangulated surface. I will then focus on representation of quivers, and show the strong link between cluster combinatorics and representation theory. The aim will be to explain additive categorification of
From playlist Combinatorics
Introduction to Combinatory Logic – #SoME2
This is Alexander Farrugia's and Giorgio Grigolo's submission to the second 3blue1brown Summer of Math Exposition. #some2 #mathematics #combinators #logic Music: Icelandic Arpeggios – DivKid
From playlist Summer of Math Exposition 2 videos
Claire Amiot: Cluster algebras and categorification - Part 3
Abstract: In this course I will first introduce cluster algebras associated with a triangulated surface. I will then focus on representation of quivers, and show the strong link between cluster combinatorics and representation theory. The aim will be to explain additive categorification of
From playlist Combinatorics
Claire Amiot: Cluster algebras and categorification - Part 1
Abstract: In this course I will first introduce cluster algebras associated with a triangulated surface. I will then focus on representation of quivers, and show the strong link between cluster combinatorics and representation theory. The aim will be to explain additive categorification of
From playlist Combinatorics
Combinatorial Identities via both Algebraic and Combinatorial Proof [Discrete Math Class]
This video is not like my normal uploads. This is a supplemental video from one of my courses that I made in case students had to quarantine. This is a follow up to previous a video introducing combinatorial objects (in particular k-permutations and k-subsets) and a video about the sum and
From playlist Discrete Mathematics Course
Nicolas Behr - Towards Executable Applied Category Theory in Coq
This talk will present the ”coreact.wiki” initiative, which aims to develop a novel form of wiki engine that will couple a database of human-readable mathematical knowledge with a database containing machine-readable and -executable representations of this knowledge in proof assistants suc
From playlist Combinatorics and Arithmetic for Physics: special days
DAT_210 - The Formal Analysis of Sentences (VLC Series #1)
In this short combinatory video (screencast plus e-lecture), Prof. Handke discusses the formal analysis of a sentences: First, in terms of its simple and phrasal categories and then by looking at the clausal structure. The sentence is: "Perhaps you will never find a job as a linguist, but
From playlist VLC107 - Syntax: Part II
Andrew Scott Marks: Descriptive graph combinatorics - Lecture 1
Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual Mathematics Library: http://library.cirm-math.fr. And discover all its functionalities: - Chapter markers and keywords to watch the parts of your choice in the video - Videos enriched with abstracts, b
From playlist Combinatorics
Pablo Shmerkin: Additive combinatorics methods in fractal geometry - lecture 1
In the last few years ideas from additive combinatorics were applied to problems in fractal geometry and led to progress on some classical problems, particularly on the smoothness of Bernoulli convolutions and other self-similar measures. We will introduce some of these tools from additive
From playlist Combinatorics
Alfred Geroldinger: A characterization of class groups via sets of lengths
Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual Mathematics Library: http://library.cirm-math.fr. And discover all its functionalities: - Chapter markers and keywords to watch the parts of your choice in the video - Videos enriched with abstracts, b
From playlist Combinatorics
History of Science and Technology Q&A (January 11, 2023)
Stephen Wolfram hosts a live and unscripted Ask Me Anything about the history of science and technology for all ages. Find the playlist of Q&A's here: https://wolfr.am/youtube-sw-qa Originally livestreamed at: https://twitch.tv/stephen_wolfram If you missed the original livestream of
From playlist Stephen Wolfram Ask Me Anything About Science & Technology
Mathilde Bouvel: Combinatorial specifications of permutation classes via their decomposition trees
Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual Mathematics Library: http://library.cirm-math.fr. And discover all its functionalities: - Chapter markers and keywords to watch the parts of your choice in the video - Videos enriched with abstracts, b
From playlist Combinatorics
Program Language Translation Using a Grammar-Driven Tree-to-Tree Model | TDLS
Toronto Deep Learning Series, 30 July 2018 For slides and more information, visit https://tdls.a-i.science/events/2018-07-30/ Paper Review: https://arxiv.org/abs/1807.01784 Speaker: Alex Hesammohseni Organizer: https://www.linkedin.com/in/amirfz/ Host: Microsoft Canada Paper abstract:
From playlist Natural Language Processing
DAT_013 - The Formal Analysis of Sentences (VLC Series #4)
In this short combinatory video (screencast plus e-lecture), Prof. Handke discusses the formal analysis of a sentence: First, in terms of its simple and phrasal categories and then by looking at the clausal structure. The sentence is: "Oh, what a beautiful house, and what a nicely laid cof
From playlist Data Analaysis - Sentences
Properties of Binomial Coefficients (1 of 2: Symmetry & Row Totals)
More resources available at www.misterwootube.com
From playlist Working with Combinatorics