-- Work in progress. -- -- Check out the source repository: -- https://github.com/mietek/research module index where -------------------------------------------------------------------------------- import A201607.Everything -- hilbert-gentzen import A201706.Everything -- research-2017 import A201801.Everything -- f9aba33997f0e43d7f0c9c8e62919147 import A201802.Everything -- 99c4bd410bf535c4322bc87d0c2db750 (logical relations) import A201901.Everything -- 2d0148c0b3f4d28fca6c17ef512eb628 (“Types and programming languages”) import A201903.Everything -- d5083053ce84099de0b0177f43413b87 (operational semantics) --------------------------------------------------------------------------------