Recent Theses
On the ILLC site you may find a full list of ILLC research reports and dissertations. Additionally, the electronic archives may also be accessed by using the Search Form of the ILLC Eprints server.
- MoL-2018-04:
- Jeroen van Wier Quantum Plaintext Non-Malleability
- MoL-2018-03:
- Robert Paßmann Loyalty and Faithfulness of Model Constructions for Constructive Set Theory
- MoL-2018-02:
- Laura S. Molenaar Quine and Loglan: the Influence of Philosophical Ideas on the Creation of a Logical Language
- MoL-2018-01:
- Line van den Berg Unreliable Gossip
- MoL-2017-31:
- Albert Janzen The paradoxes of self-negation
- MoL-2017-30:
- Marco Bacchin The perception of number: towards a topological approach
- MoL-2017-29:
- Esteban Landerreche Leaning on Impossible-to-Parallelise Work for Immutability Guarantees in the Blockchain
- MoL-2017-28:
- Michael Repplinger Understanding Generalization: Learning Quantifiers and Negation with Neural Tensor Networks
- MoL-2017-27:
- Mees de Vries An Extensional Modified Realizability Topos
- MoL-2017-26:
- Rana Klein The Logical Dynamics of Gossip: an analysis in Dynamic Epistemic Logic