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

by Ralph Matthes
Citations:4 - 0 self