PyPI 官网下载 | lambda-notebook-0.6.8.tar.gz
版权申诉
185 浏览量
2022-02-11
06:29:08
上传
评论
收藏 216KB GZ 举报
lambda-notebook-0.6.8.tar.gz （53个子文件） 
lambda-notebook-0.6.8 
MANIFEST.in 116B PKG-INFO 7KB pyproject.toml 107B lambda_notebook.egg-info PKG-INFO 7KB
requires.txt 38B SOURCES.txt 2KB top_level.txt 5B dependency_links.txt 1B LICENSE 1KB lamb combinators.py 6KB display.py 21KB utils.py 4KB lnsetup.py 9KB lang.py 116KB types.py 63KB meta.py 176KB __init__.py 233B treetransforms.py 13KB parsing.py 17KB tree_mini.py 67KB magics.py 5KB setup.cfg 824B setup.py 2KB README.md 6KB notebooks misc Polymorphism examples.ipynb 7KB Lambda calculus testing.ipynb 5KB 00 Readme for upgrading from IPython 2.ipynb 2KB LSA poster examples.ipynb 5KB Diagnostics.ipynb 2KB Lambda Notebook Demo.ipynb 29KB An introduction to compositionality via "two plus two is four".ipynb 16KB documentation Metalanguage documentation.ipynb 27KB Partiality documentation.ipynb 20KB Quick reference.ipynb 9KB Lexical ambiguity.ipynb 7KB Ad hoc polymorphism.ipynb 14KB Intro to type variables.ipynb 12KB Introduction to typed lambda calculus.ipynb 15KB Lambda Notebook Demo (executed).ipynb 310KB tutorials Type shifting.ipynb 11KB Composition operations.ipynb 14KB Quantification tutorial.ipynb 10KB Intro to type variables.ipynb 12KB definite article tutorial.ipynb 8KB Lambda Notebook Intro (start here).ipynb 14KB fragments Intensional scope.ipynb 24KB Neo-davidsonian event semantics.ipynb 15KB Compositional DRT.ipynb 13KB von Fintel and Heim beginning.ipynb 10KB Continuations and quantifier scope.ipynb 30KB Relative clauses.ipynb 12KB Hamblin semantics.ipynb 13KB Variable free binding.ipynb 13KB资源评论
