Resolution of embedded toric $\Lambda$-schemes

A key example in Borger's theory of $\Lambda$-structure is toric $\Lambda$-structure. We prove a resolution of singularities result for embedded toric $\Lambda$-schemes by applying an algorithm of Bierstone and Milman for toric varieties over perfect fields. This paper is based on work from the author's PhD thesis.