%0 Generic
%T Galois Connecting Call-by-Value and Call-by-Name
%A McDermott, Dylan
%A Mycroft, Alan
%A Dylan McDermott and Alan Mycroft
%I Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%K computational effect
%K categorical semantics
%K call-by-push-value
%K evaluation order
%D 2022
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%C Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation