Reihe Monographs in Computer ScienceIman Poernomo × Adapting Proofs-as-ProgramsThe Curry--Howard ProtocolIman PoernomoSpringer USSoftcover2010160,49 € Adapting Proofs-as-ProgramsThe Curry--Howard ProtocolIman PoernomoSpringer USSoftcover2010160,49 € Adapting Proofs-as-ProgramsThe Curry--Howard ProtocolIman PoernomoSpringer USeBook2007149,79 € Adapting Proofs-as-ProgramsThe Curry--Howard ProtocolIman PoernomoSpringer USeBook2007149,79 € Adapting Proofs-as-ProgramsThe Curry--Howard ProtocolIman PoernomoSpringer USHardcover2005160,49 € Adapting Proofs-as-ProgramsThe Curry--Howard ProtocolIman PoernomoSpringer USHardcover2005160,49 €
