Index of /books

      Name                    Last modified      Size  
[PARENTDIR] Parent Directory                             -   
[DIR] www.andrew.cmu.edu/     2024-03-25 09:55    -   
[   ] dishnetwork.txt         2020-09-11 11:42  119   
[   ] EJS_toc.pdf             2020-09-11 11:42   45K  
[   ] selinger_bainbridge_..> 2020-09-11 11:42  100K  
[   ] Monads for Increment..> 2020-09-11 11:42  100K  
[   ] treeParadox.pdf         2020-09-11 11:42  101K  
[   ] Denckla_(comonad_vs_..> 2020-09-11 11:42  110K  
[   ] Dissect.pdf             2020-09-11 11:42  126K  
[   ] 09-Motogna_newPolymo..> 2020-09-11 11:42  148K  
[   ] selinger_controlrema..> 2020-09-11 11:42  152K  
[   ] Transformers.pdf        2020-09-11 11:42  153K  
[   ] Cardelli.OnUnderstan..> 2020-09-11 11:42  161K  
[   ] hlist.pdf               2020-09-11 11:42  166K  
[   ] selinger_krivine.pdf    2020-09-11 11:42  168K  
[   ] onGirardParadox.pdf     2020-09-11 11:42  169K  
[   ] FingerTree.pdf          2020-09-11 11:42  169K  
[   ] WhyDependentTypesMat..> 2020-09-11 11:42  178K  
[   ] recursivedatatypesin..> 2020-09-11 11:42  181K  
[   ] HaskellTutorial.pdf     2020-09-11 11:42  181K  
[   ] selinger_combinatory..> 2020-09-11 11:42  184K  
[   ] Third Homomorphism T..> 2020-09-11 11:42  186K  
[   ] algsettheory.pdf        2020-09-11 11:42  192K  
[   ] Gph.pdf                 2020-09-11 11:42  199K  
[   ] operadsetc.pdf          2020-09-11 11:42  205K  
[   ] bigtable-osdi06.pdf     2020-09-11 11:42  216K  
[   ] continuations-icfp09..> 2020-09-11 11:42  219K  
[   ] selinger_catasynch.pdf  2020-09-11 11:42  228K  
[   ] mjxml.zip               2020-09-11 11:42  230K  
[   ] martin.ppt              2020-09-11 11:42  235K  
[   ] ic91.pdf                2020-09-11 11:42  269K  
[   ] GeneralizedTries.pdf    2020-09-11 11:42  278K  
[   ] counting.pdf            2020-09-11 11:42  280K  
[   ] ModellingGenericJudg..> 2020-09-11 11:42  288K  
[   ] 10.1.1.52.5145.pdf      2020-09-11 11:42  309K  
[   ] subtyping dependent ..> 2020-09-11 11:42  309K  
[   ] TypeTheoryIntro.pdf     2020-09-11 11:42  344K  
[   ] toposmoeder.pdf         2020-09-11 11:42  393K  
[   ] abs-view.ps             2020-09-11 11:42  398K  
[   ] not-not-ml.pdf          2020-09-11 11:42  437K  
[   ] selinger_lambdanotes..> 2020-09-11 11:42  462K  
[   ] goncharov_Kleene-mon..> 2020-09-11 11:42  615K  
[   ] CategorifiedAlgebraA..> 2020-09-11 11:42  733K  
[   ] selinger_thesis.pdf     2020-09-11 11:42  776K  
[   ] danvy-dissertation.pdf  2020-09-11 11:42  824K  
[   ] Easy_Categories_for_..> 2020-09-11 11:42  935K  
[   ] barendregt.pdf          2020-09-11 11:42  942K  
[   ] MLTTtheses.pdf          2020-09-11 11:42  1.0M  
[   ] wadler-essence-fp.pdf   2020-09-11 11:42  1.1M  
[   ] PatternsOfSoftware.pdf  2020-09-11 11:42  1.2M  
[   ] ScalaReference.pdf      2020-09-11 11:42  1.2M  
[   ] microsoft-spy.pdf       2020-09-11 11:42  1.7M  
[   ] p124-herlihy.pdf        2020-09-11 11:42  1.7M  
[   ] Conceptual_Mathemati..> 2020-09-11 11:42  1.8M  
[   ] set-int.pdf             2020-09-11 11:42  2.0M  
[   ] zz12.djvu               2020-09-11 11:42  2.7M  
[   ] AndreasBlass_CatsAnd..> 2020-09-11 11:42  3.6M  
[   ] Sets for Mathematics..> 2020-09-11 11:42  3.8M  
[   ] GregoryMeredith.pdf     2020-09-11 11:42  4.7M  
[   ] Programming in Scala..> 2020-09-11 11:42  7.3M  
[   ] Johnstone_-_Sketches..> 2020-09-11 11:42  7.7M  
[   ] Uustalo-lectures.pdf    2020-09-11 11:42   11M