@unpublished{godfroy:hal-01394263, TITLE = {{A theory of reflexive computation based on soft intuitionistic logic}}, AUTHOR = {Godfroy, Hubert and Marion, Jean-Yves}, URL = {https://inria.hal.science/hal-01394263}, NOTE = {working paper or preprint}, YEAR = {2016}, MONTH = Oct, PDF = {https://inria.hal.science/hal-01394263/file/SilSC.pdf}, HAL_ID = {hal-01394263}, HAL_VERSION = {v1}, }