Chad E. Brown
Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday, 2008
@INCOLLECTION{Brown2007,
title = {M-set Models},
author = {Chad E. Brown},
year = {2008},
booktitle = {Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday},
}
