Non-Strictly Positive Fixed-Points for Classical Natural Deduction, accepted for publication in APAL (2004)

by Ralph Matthes
Citations:5 - 0 self