Accelerating the world's research. Holomorphic models of exponential types in linear logic Prakash Panangaden Mathematical Foundations of Programming Semantics Cite this paper Get the citation in MLA, APA, or Chicago styles Downloaded from Academia.edu  Related papers On the Speciﬁcation of Elementary Reactive Behaviour Axel Poigné Mathematical foundations of programming semantics. Proceedings of the 11th conference (MFPS), … Austin Melton A predicative semantics for the reﬁnement of real-time systems Hussein Zedan Download a PDF Pack of the best related papers 