DMCA

A Termination Proof of Reduction in a Simply Typed Calculus with Constructors (2010)

by Manfred Schmidt-schauß , David Sabel , Johann Wolfgang Goethe-universität
Citations:1 - 1 self