the estate's remote beauty is once more accessible to visitors he married writer lisa tetzner the curry howard correspondence relates a constructivist form of disjunction to tagged union types