iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/lfcs/SeveriP94.xml
Paula Severi Erik Poll Pure Type Systems with Definitions. 316-328 1994 conf/lfcs/1994 LFCS db/conf/lfcs/lfcs1994.html#SeveriP94 https://doi.org/10.1007/3-540-58140-5_30