指称语义学相关论文
指称语义学是以函数的形式来表达程序的语义,一阶时态逻辑是以逻辑方式表达程序的语义。本文将上述两种功能集中于一种语义学之中,......
本文证明了FS-Domain关于Plotkin幂-Domain构造是封闭的。...
<正> 这篇论文分为两部分。第一部分论述了我所喜爱的科学哲学家法因(Arthur Fine)的观点。法因因其在当代哲学的中心问题——实在......
Peter Ludlow,The Philosophy of Generative Linguistics New York: Oxford University Press, 2011.《生成语言学哲学》(The Philo......