Danko Ilik -

Registered user since Mon 14 Nov 2016

Name:Danko Ilik

Country:France

Affiliation:Trusted Labs

Personal website: http://www.speleologic.net/

Contributions

2025

OlivierFest

Author of From continuation models to shift without reset and an intuitionistic arithmetical hierarchy within the OlivierFest 2025-track

2017

POPL

Author of The exp-log normal form of types: Decomposing extensional equality and representing terms compactly within the POPL-track