klotz: logic*

0 bookmark(s) - Sort by: Date ↓ / Title / - Bookmarks from other users for this tag

  1. Dr Valeria Correa Vaz de Paiva is a Brazilian mathematician, logician, computer scientist, and computational linguist known for introducing the concept of dialectica spaces, which model linear logic in advanced programming languages. She has contributed significantly to natural language processing (NLP) and works at the Topos Institute in Berkeley, California. De Paiva is committed to encouraging more women into STEM fields and is actively involved in Women In Logic (WIL).

  2. 2013-05-11 Tags: , by klotz

Top of the page

First / Previous / Next / Last / Page 1 of 0 SemanticScuttle - klotz.me: Tags: logic

About - Propulsed by SemanticScuttle