Beniamino Accattoli

Questo articolo analizza il legame tra la logica intuizionistica minimale e la valutazione call-by-value nella programmazione.