类型理论论文

基于面向对象软件的动态更新研究
论文摘要随着计算机在日常生活中的广泛应用,如何实现软件的不间断运行而能够实现升级、更新也就成为软件维护和软件设计中的重要问题。能否提供不间断的服务正在成为人们衡量软件系统的一项...
股份公司股东相互之间诚信义务的法理研究
论文摘要最近中国新公司法大刀阔斧地进行了修改,承认了股东相互之间的诚信义务。不过,笔者还认为通过这些立法有关规定能够在现实里具有规范力,任重道远,在理论与方法论上都要克服不少难...