Rigorous Function Calculi-II

Activity: Talk or presentation (speaker at event)Talk or presentationAcademic

Period25 Sep 2018
Event titleContinuity, Computability, Constructivity
: From Logic to Algorithms
Event typeConference
LocationFaro, Portugal
Degree of RecognitionInternational