lambda笔记本：Lambda笔记本：Jupyter中的形式语义
需积分: 21 21 浏览量
2021-02-04
07:48:39
上传
评论
收藏 930KB ZIP 举报
lambda-notebook-master.zip （78个子文件） 
lambda-notebook-master lamb 
lang.py 112KB parsing.py 17KB utils.py 4KB magics.py 5KB __init__.py 234B display.py 21KB tree_mini.py 69KB types.py 63KB lnsetup.py 7KB combinators.py 6KB treetransforms.py 13KB meta.py 175KB notebooks Lambda Notebook Intro (start here).ipynb 14KB Lambda Notebook Demo (executed).ipynb 292KB tutorials definite article tutorial.ipynb 8KB Type shifting.ipynb 11KB Composition operations.ipynb 14KB Intro to type variables.ipynb 12KB Quantification tutorial.ipynb 10KB An introduction to compositionality via "two plus two is four".ipynb 16KB Introduction to typed lambda calculus.ipynb 15KB fragments Relative clauses.ipynb 7KB Hamblin semantics.ipynb 13KB Compositional DRT.ipynb 13KB von Fintel and Heim beginning.ipynb 10KB Variable free binding.ipynb 13KB Neo-davidsonian event semantics.ipynb 15KB Continuations and quantifier scope.ipynb 30KB Intensional scope.ipynb 24KB misc 00 Readme for upgrading from IPython 2.ipynb 2KB Lambda calculus testing.ipynb 5KB LSA poster examples.ipynb 5KB Diagnostics.ipynb 2KB Polymorphism examples.ipynb 7KB Lambda Notebook Demo.ipynb 29KB documentation Quick reference.ipynb 9KB Metalanguage documentation.ipynb 27KB Partiality documentation.ipynb 20KB Ad hoc polymorphism.ipynb 14KB Intro to type variables.ipynb 12KB Lexical ambiguity.ipynb 7KB lambda_notebook.command 100B lambda_notebook.py 2KB kernel lambda-notebook README 67B build_support build_venv.sh 5KB modulegraph_fix.diff 223B
README_packaged.txt 906B start_notebook.sh 134B
lambdax_alpha.png 47KB setup.py 335B Makefile 3KB lambdax_alpha.icns 65KB licenses libzmq_LICENSE.txt 62KB Jinja2_LICENSE.txt 2KB Sphinx_LICENSE.txt 13KB python_LICENSE.txt 9KB Tornado_LICENSE.txt 11KB Pygments_LICENSE.txt 1KB pyzmq_LICENSE.txt 2KB README 66B IPython_LICENSE.txt 1KB README 3KB start_notebook.py 2KB start_notebook_simple.sh 105B TODO.md 2KB .travis.yml 1KB LICENSE 1KB README.md 6KB Makefile 2KB lambda_shell.py 1KB install_lambda_kernel.py 740B archive kernel.json 314B Lamb demo-2013.ipynb 176KB background lsa_ex_screenshot2.png 140KB lsa_ex_screenshot.png 81KB
lamb_poster.pdf 346KB .gitignore 410B lambda_notebook.cmd 26B
评论0