Very short proof that limit preserving functions (continuous functions) on complete partial orders are necessarily monotone.

# Currently Browsing

## Programming Language Theory

17 May

Posted in
Article, Programming Language Theory

# Subtype Ambiguity in Java

Let’s take a look at an example of a situation where ambiguity occurs during the derivation of subtyping proofs in Java. In general, it’s conjectured that subtyping in Java is undecidable.