- Committer: Ohad Kammar
- Date: 2014-04-02 12:59:36 UTC
- Revision ID: ohad.kammar@cl.cam.ac.uk-20140402125936-vn81q3jsrmgknuex
final version
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 .. |
|||||||
diagrams
|
29 | 12 years ago | Ohad Kammar | added missing files, and type assignment definiti |
|
||
.bzrignore |
347 | 10 years ago | Ohad Kammar | snapshot | 316 bytes |
|
|
|
ad-hoc-combination.tex |
432 | 10 years ago | Ohad Kammar | proofread the combination chapter. | 36.3 KB |
|
|
|
algebraic-models.tex |
425 | 10 years ago | Ohad Kammar | proofreaed the algebraic model chpter. | 1.1 KB |
|
|
beware-cat-sign.jpg |
29 | 12 years ago | Ohad Kammar | added missing files, and type assignment definiti | 5.3 KB |
|
|
|
beware-cats.eps |
29 | 12 years ago | Ohad Kammar | added missing files, and type assignment definiti | 28.7 KB |
|
|
|
categorical-algebraic-models.tex |
425 | 10 years ago | Ohad Kammar | proofreaed the algebraic model chpter. | 3.9 KB |
|
|
|
categorical-conservative-restriction.tex |
425 | 10 years ago | Ohad Kammar | proofreaed the algebraic model chpter. | 26 KB |
|
|
|
categorical-models.tex |
419.1.7 | 10 years ago | Ohad Kammar | finalized the models chapter, added a conventions | 14.4 KB |
|
|
|
category-theory-and-universal-algebra.tex |
426 | 10 years ago | Ohad Kammar | proofread the presentation chapter. | 9.3 KB |
|
|
|
cbpv-cat-term-semantics.tex |
402 | 10 years ago | Ohad Kammar | finished fixing the cbpv section. | 2.9 KB |
|
|
|
cbpv-kind-system.tex |
273 | 11 years ago | Ohad Kammar | added language and semantics of mail, without the | 884 bytes |
|
|
|
cbpv-semantics-type-system.tex |
273 | 11 years ago | Ohad Kammar | added language and semantics of mail, without the | 888 bytes |
|
|
|
cbpv-syntax.tex |
428 | 10 years ago | Ohad Kammar | proofread the language chapter. | 24.5 KB |
|
|
|
cbpv-type-system.tex |
400 | 10 years ago | Ohad Kammar | snapshot. | 2.5 KB |
|
|
|
combination.tex |
432 | 10 years ago | Ohad Kammar | proofread the combination chapter. | 2.9 KB |
|
|
|
completeness.tex |
433 | 10 years ago | Ohad Kammar | proofread the use case chapter. | 24.5 KB |
|
|
|
conclusion.tex |
436 | 10 years ago | Ohad Kammar | finished thesis | 14.7 KB |
|
|
|
crossrefs.tex |
438 | 10 years ago | Ohad Kammar | final version | 1 KB |
|
|
|
deep-embedding.lhs |
345 | 10 years ago | Ohad Kammar | Trying a shallow embedding instead. | 10.9 KB |
|
|
|
defs-combination.tex |
330.1.8 | 11 years ago | Ohad Kammar | finished writing the completeness section. | 683 bytes |
|
|
|
defs-example.tex |
330.1.3 | 11 years ago | Ohad Kammar | snapshot. | 1.1 KB |
|
|
|
defs-intro.tex |
371 | 10 years ago | Ohad Kammar | intro. draft sent to gordon | 1.3 KB |
|
|
|
defs-lp.tex |
338 | 10 years ago | Ohad Kammar | turned the haskell code into uneditted literate ha | 3.9 KB |
|
|
|
defs-models.tex |
409 | 10 years ago | Ohad Kammar | finished sum and tensor section. | 37.8 KB |
|
|
|
defs-syntax.tex |
413 | 10 years ago | Ohad Kammar | starting to finalise | 9.4 KB |
|
|
|
domain-theoretic-models.tex |
422 | 10 years ago | Ohad Kammar | proofread the recursion chapter. | 49 KB |
|
|
|
example-language.tex |
433 | 10 years ago | Ohad Kammar | proofread the use case chapter. | 4.2 KB |
|
|
|
example-theory.tex |
412 | 10 years ago | Ohad Kammar | fixed usecase language | 579 bytes |
|
|
|
example-validation.tex |
413 | 10 years ago | Ohad Kammar | starting to finalise | 6.6 KB |
|
|
|
example.tex |
433 | 10 years ago | Ohad Kammar | proofread the use case chapter. | 1.9 KB |
|
|
|
factorisation-systems.tex |
425 | 10 years ago | Ohad Kammar | proofreaed the algebraic model chpter. | 38.9 KB |
|
|
|
generic-effects.tex |
419.1.6 | 10 years ago | Ohad Kammar | proofread algebraic operations chapter. | 13.7 KB |
|
|
|
global-optimisations.tex |
431 | 10 years ago | Ohad Kammar | tweaked the optimisation table to fit better on th | 10.9 KB |
|
|
|
introduction.tex |
438 | 10 years ago | Ohad Kammar | final version | 34.2 KB |
|
|
|
language.tex |
428 | 10 years ago | Ohad Kammar | proofread the language chapter. | 1.2 KB |
|
|
|
lawvere-cbpv-models.tex |
424 | 10 years ago | Ohad Kammar | proofread the lawvere theories chapter. | 4.3 KB |
|
|
|
lawvere-operations.tex |
424 | 10 years ago | Ohad Kammar | proofread the lawvere theories chapter. | 4.8 KB |
|
|
|
lawvere-theories.tex |
424 | 10 years ago | Ohad Kammar | proofread the lawvere theories chapter. | 28.9 KB |
|
|
|
lawvere.tex |
384 | 10 years ago | Ohad Kammar | added struture desc to lawvere theories chapter. | 1.1 KB |
|
|
|
locally-presentable-categories.tex |
423 | 10 years ago | Ohad Kammar | proofread the locally presentabl categories chapte | 66.1 KB |
|
|
|
mail-syntax.tex |
428 | 10 years ago | Ohad Kammar | proofread the language chapter. | 22.5 KB |
|
|
|
makefile |
438 | 10 years ago | Ohad Kammar | final version | 2.3 KB |
|
|
|
ml-realisation.sml |
160 | 11 years ago | Ohad Kammar | a lot of hacking\! in essence, rewriting the set t | 135 bytes |
|
|
|
model-generation.tex |
428 | 10 years ago | Ohad Kammar | proofread the language chapter. | 11 KB |
|
|
|
modeling.lhs |
433 | 10 years ago | Ohad Kammar | proofread the use case chapter. | 29.9 KB |
|
|
|
models.tex |
419.1.7 | 10 years ago | Ohad Kammar | finalized the models chapter, added a conventions | 2.9 KB |
|
|
|
mylhs2tex.sty |
338 | 10 years ago | Ohad Kammar | turned the haskell code into uneditted literate ha | 7.2 KB |
|
|
|
no-cats.eps |
29 | 12 years ago | Ohad Kammar | added missing files, and type assignment definiti | 61.4 KB |
|
|
no-cats.jpg |
29 | 12 years ago | Ohad Kammar | added missing files, and type assignment definiti | 10.9 KB |
|
|
|
notation.tex |
438 | 10 years ago | Ohad Kammar | final version | 2 KB |
|
|
|
oktheorem.sty |
430 | 10 years ago | Ohad Kammar | removed appendices, changed format of example numb | 3.5 KB |
|
|
|
okthesis.sty |
438 | 10 years ago | Ohad Kammar | final version | 4.8 KB |
|
|
|
operations.tex |
419.1.6 | 10 years ago | Ohad Kammar | proofread algebraic operations chapter. | 24.6 KB |
|
|
|
operationwise.tex |
432 | 10 years ago | Ohad Kammar | proofread the combination chapter. | 13.2 KB |
|
|
|
optimisations.tex |
429 | 10 years ago | Ohad Kammar | proofread the optimisations chapter. | 2 KB |
|
|
|
powers-and-copowers.tex |
424 | 10 years ago | Ohad Kammar | proofread the lawvere theories chapter. | 33.9 KB |
|
|
|
predicates.tex |
427 | 10 years ago | Ohad Kammar | proofread the logical relations chapter | 37.1 KB |
|
|
|
presentation-models-section.tex |
426 | 10 years ago | Ohad Kammar | proofread the presentation chapter. | 14.9 KB |
|
|
|
presentation-models.tex |
426 | 10 years ago | Ohad Kammar | proofread the presentation chapter. | 1.2 KB |
|
|
|
quotes.org |
437 | 10 years ago | Ohad Kammar | last changes before final proofreading | 1.1 KB |
|
|
|
recursion.tex |
422 | 10 years ago | Ohad Kammar | proofread the recursion chapter. | 11.7 KB |
|
|
|
restrictions-and-universal-algebra.tex |
426 | 10 years ago | Ohad Kammar | proofread the presentation chapter. | 7.7 KB |
|
|
|
semantics-elements.tex |
338 | 10 years ago | Ohad Kammar | turned the haskell code into uneditted literate ha | 1.6 KB |
|
|
|
set-theoretic-models.tex |
419.1.7 | 10 years ago | Ohad Kammar | finalized the models chapter, added a conventions | 14.7 KB |
|
|
|
structural-optimisations.tex |
338 | 10 years ago | Ohad Kammar | turned the haskell code into uneditted literate ha | 2.7 KB |
|
|
|
sum-and-tensor.tex |
432 | 10 years ago | Ohad Kammar | proofread the combination chapter. | 23.6 KB |
|
|
|
swap-set-gen.hs |
414.1.1 | 10 years ago | Ohad Kammar | added missing file. | 241 bytes |
|
|
|
swap-sets.tex |
347 | 10 years ago | Ohad Kammar | snapshot | 2.7 KB |
|
|
|
syntax-fig.tex |
398 | 10 years ago | Ohad Kammar | snapshot. | 1.6 KB |
|
|
|
taxonomy.tex |
429 | 10 years ago | Ohad Kammar | proofread the optimisations chapter. | 8.7 KB |
|
|
|
thesis-ohad.bib |
436 | 10 years ago | Ohad Kammar | finished thesis | 52.3 KB |
|
|
|
thesis-ohad.tex |
437 | 10 years ago | Ohad Kammar | last changes before final proofreading | 20.7 KB |
|
|
|
universal-algebra.tex |
426 | 10 years ago | Ohad Kammar | proofread the presentation chapter. | 23.2 KB |
|
|
|
validity.tex |
429 | 10 years ago | Ohad Kammar | proofread the optimisations chapter. | 13 KB |
|
|
vc |
1 | 14 years ago | Ohad Kammar | empty document template. | 562 bytes |
|
|
|
vc-bzr.awk |
1 | 14 years ago | Ohad Kammar | empty document template. | 2.1 KB |
|
|