Tilbage til artikeldetaljer Trust in the lambda-calculus Download Download PDF