Login / Signup
Mohamad Ziadeh
Publication Activity (10 Years)
Years Active: 2016-2017
Publications (10 Years): 2
Top Topics
Higher Order
Database Query Languages
Algebraic Structure
Top Venues
CoRR
Log. Methods Comput. Sci.
</>
Publications
</>
Karim Nour
,
Mohamad Ziadeh
A revised completeness result for the simply typed λμ-calculus using realizability semantics.
Log. Methods Comput. Sci.
13 (3) (2017)
Karim Nour
,
Mohamad Ziadeh
A revised completeness result for the simply typed $λμ$-calculus using realizability semantics.
CoRR
(2016)