Ludics

#	Item
1	Computational effects in computable and formalized mathematics (EFFMATH) Project summary Andrej Bauer Faculty of Mathematics and Physics University of Ljubljana Add to Reading List Source URL: math.andrej.com Language: English - Date: 2014-11-22 07:09:08 Computing Mathematical constructivism Realizability Functional programming Computer science Monad Algorithm Ludics Software engineering Mathematical logic Mathematics
2	Call-by-name Linguistic Side Effects http://okmij.org/ftp/Computation/gengo/ Symmetric calculi and Ludics for the semantic interpretation ESSLLI 2008 Workshop Hamburg, Germany August 6, 2008 Add to Reading List Source URL: okmij.org Language: English - Date: 2008-08-18 22:07:08 Royalty Grammar Pragmatics Parts of speech Philosophical logic Anaphora Cataphora Type system Quantification Linguistics Semantics Philosophy of language