2,589 followers
Open Access UCL Research: An Efficient Cyclic Entailment Procedure in a Fragment of Separation Logic https://t.co/M8BmpUNWZ7
Open Access UCL Research: An Efficient Cyclic Entailment Procedure in a Fragment of Separation Logic https://t.co/M8BmpUNWZ7
RT @zptmtr: @furifuri_mono 最近の論文でそういう感じの型システムを見ました。[γ]Aという型が「γ秒後にAの値が手に入る」ことを表すみたいな話だったはず https://t.co/DAeY28bEHS
RT @zptmtr: @furifuri_mono 最近の論文でそういう感じの型システムを見ました。[γ]Aという型が「γ秒後にAの値が手に入る」ことを表すみたいな話だったはず https://t.co/DAeY28bEHS
@furifuri_mono 最近の論文でそういう感じの型システムを見ました。[γ]Aという型が「γ秒後にAの値が手に入る」ことを表すみたいな話だったはず https://t.co/DAeY28bEHS