A Wide-Coverage Symbolic Natural Language Inference System - ACL Anthology
PDF) Dynamic IFC Theorems for Free!
Patrik Jansson (@patrikja@types.pl) on Twitter: "The book has finally arrived in the mail. Nice to have a real physical copy in my hands! Domain-Specific Languages of Mathematics Book: https://t.co/wzdgIEoluv Course: https://t.co/42YNJAyyCG @cse_gbg @
FraCaS: Temporal Analysis | DeepAI
Jean-Philippe Bernardy - Quora
Parametricity and Dependent Types by Jean-Philippe Bernardy, Patrik Jansson and Ross Paterson on Vimeo
Type Theory Research Group
A Neural Model for Compositional Word Embeddings and Sentence Processing - ACL Anthology
Names For Free — Polymorphic Views of Names and Binders Jean-Philippe Bernardy Chalmers University ofTechnology and University
jean philippe Bernardy - Commercial toyota - PLD Automobile | LinkedIn
A probabilistic semantics for natural language
Jean-Philippe Bernardy | DeepAI
Paris - By Jean-philippe Hugron (paperback) : Target
Probabilistic Approaches to Linguistic Theory by Jean-Philippe Bernardy, Paperback | Barnes & Noble®
How does Punctuation Affect Neural Models in Natural Language Inference - ACL Anthology