README.md

_CoqProject

papers/CPP21.md

theories/logrel/contexts.v

theories/logrel/examples/choice_subtyping.v

theories/logrel/examples/compute_client_list.v

theories/logrel/examples/compute_service.v

theories/logrel/examples/mapper.v

theories/logrel/examples/mapper_list.v

theories/logrel/examples/pair.v

theories/logrel/examples/par_recv.v

theories/logrel/examples/rec_subtyping.v

theories/logrel/lib/list.v

theories/logrel/lib/mutex.v

theories/logrel/lib/par_start.v

theories/logrel/session_typing_rules.v

theories/logrel/term_typing_judgment.v

theories/logrel/term_typing_rules.v